diff options
author | Son Ho | 2022-11-06 18:10:59 +0100 |
---|---|---|
committer | Son HO | 2022-11-07 10:36:13 +0100 |
commit | 3b73918146ac060689526871fcbeb2baa6b429e7 (patch) | |
tree | 98aaaaac9cd1a8490c452cc0db2ea0e1ca2379e5 /compiler/SymbolicAst.ml | |
parent | 511b483f3ba8247aaf90ab648d54b37a04c39929 (diff) |
Add ids to the dummy variables
Diffstat (limited to '')
-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 604a7948..39709a13 100644 --- a/compiler/SymbolicAst.ml +++ b/compiler/SymbolicAst.ml @@ -18,7 +18,7 @@ module A = LlbcAst the generated code. *) type mplace = { - bv : Contexts.binder; + bv : Contexts.var_binder; (** It is important that we store the binder, and not just the variable id, because the most important information in a place is the name of the variable! |