Move a type

It was causing type inference problems in visitors.
AeneasVerif · Jan 9, 2025 · 7d70f18 · 7d70f18
1 parent d773757
commit 7d70f18
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/charon-ml/src/generated/Generated_Types.ml b/charon-ml/src/generated/Generated_Types.ml
@@ -97,7 +97,6 @@ and 'a0 de_bruijn_var =
           is not used in charon internals, only as a micro-pass before exporting the crate data.
        *)
 
-and region_id = (RegionId.id[@opaque])
 and type_var_id = (TypeVarId.id[@opaque])
 and const_generic_var_id = (ConstGenericVarId.id[@opaque])
 and trait_clause_id = (TraitClauseId.id[@opaque])
@@ -193,6 +192,7 @@ and global_decl_ref = {
 }
 
 and trait_item_name = string
+and region_id = (RegionId.id[@opaque])
 
 (** A region variable in a signature or binder. *)
 and region_var = (region_id, string option) indexed_var

diff --git a/charon/src/bin/generate-ml/main.rs b/charon/src/bin/generate-ml/main.rs
@@ -1192,7 +1192,6 @@ fn generate_ml(
                     reduce: true,
                     extra_types: &[],
                 })), &[
-                    "RegionId",
                     "TypeVarId",
                     "ConstGeneric",
                     "TraitClauseId",