diff options
| author | Alasdair | 2020-01-28 00:08:19 +0000 |
|---|---|---|
| committer | Alasdair | 2020-01-28 00:08:55 +0000 |
| commit | b564a217416afc8df471d3e97cff8168efd804b1 (patch) | |
| tree | 3ac0fec1290d63f2dbe7c1d01dce874e5dca0e4d | |
| parent | 821779fc44c4af2bed7235925925d24a510f1172 (diff) | |
Fix a bug with lexp->exp conversion for register references
| -rw-r--r-- | src/ast_util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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" |