diff options
author | Son Ho | 2023-11-12 19:35:24 +0100 |
---|---|---|
committer | Son Ho | 2023-11-12 19:35:24 +0100 |
commit | 0a5859fbb7bcd99bfa221eaf1af029ff660bf963 (patch) | |
tree | 2fc90c855ac49b1649b115f0e0e9b179dc993439 /compiler/SymbolicAst.ml | |
parent | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff) |
Rename some variants
Diffstat (limited to 'compiler/SymbolicAst.ml')
-rw-r--r-- | compiler/SymbolicAst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/SymbolicAst.ml b/compiler/SymbolicAst.ml index 927544b2..d114f18d 100644 --- a/compiler/SymbolicAst.ml +++ b/compiler/SymbolicAst.ml @@ -243,7 +243,7 @@ and value_aggregate = | VaSingleValue of V.typed_value (** Regular case *) | VaArray of V.typed_value list (** This is used when introducing array aggregates *) - | VaConstGenericValue of T.const_generic_var_id + | VaCGValue of T.const_generic_var_id (** This is used when evaluating a const generic value: in the interpreter, we introduce a fresh symbolic value. *) | VaTraitConstValue of T.trait_ref * T.generic_args * string |