diff options
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! |