From b564a217416afc8df471d3e97cff8168efd804b1 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 28 Jan 2020 00:08:19 +0000
Subject: Fix a bug with lexp->exp conversion for register references

---
 src/ast_util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast_util.ml b/src/ast_util.ml
index 8d06b23e..e318a423 100644
--- a/src/ast_util.ml
+++ b/src/ast_util.ml
@@ -1249,7 +1249,7 @@ let rec lexp_to_exp (LEXP_aux (lexp_aux, annot) as le) =
   | LEXP_vector_concat [] -> rewrap (E_vector [])
   | LEXP_vector_concat (lexp :: lexps) ->
      List.fold_left (fun exp lexp -> rewrap (E_vector_append (exp, lexp_to_exp lexp))) (lexp_to_exp lexp) lexps
-  | LEXP_deref exp -> rewrap (E_app (mk_id "reg_deref", [exp]))
+  | LEXP_deref exp -> rewrap (E_app (mk_id "__deref", [exp]))
 
 let is_unit_typ = function
   | Typ_aux (Typ_id u, _) -> string_of_id u = "unit"
-- 
cgit v1.2.3