diff options
Diffstat (limited to 'src')
| -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" |