summaryrefslogtreecommitdiff
path: root/compiler/Assumed.ml
diff options
context:
space:
mode:
authorSon Ho2023-11-12 19:35:24 +0100
committerSon Ho2023-11-12 19:35:24 +0100
commit0a5859fbb7bcd99bfa221eaf1af029ff660bf963 (patch)
tree2fc90c855ac49b1649b115f0e0e9b179dc993439 /compiler/Assumed.ml
parentb9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff)
Rename some variants
Diffstat (limited to '')
-rw-r--r--compiler/Assumed.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml
index d8f19173..5622ef26 100644
--- a/compiler/Assumed.ml
+++ b/compiler/Assumed.ml
@@ -43,7 +43,7 @@ module Sig = struct
let tvar_id_0 = T.TypeVarId.of_int 0
let tvar_0 : T.ty = T.TypeVar tvar_id_0
let cgvar_id_0 = T.ConstGenericVarId.of_int 0
- let cgvar_0 : T.const_generic = T.ConstGenericVar cgvar_id_0
+ let cgvar_0 : T.const_generic = T.CGVar cgvar_id_0
(** Region 'a of id 0 *)
let region_param_0 : T.region_var = { T.index = rvar_id_0; name = Some "'a" }