From 3b73918146ac060689526871fcbeb2baa6b429e7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 6 Nov 2022 18:10:59 +0100
Subject: Add ids to the dummy variables

---
 compiler/SymbolicAst.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/SymbolicAst.ml')

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!
-- 
cgit v1.2.3