Merge pull request #74 from Nadrieril/update-charon

AeneasVerif · Sep 9, 2024 · bd0d98a · bd0d98a
2 parents 88f789c + 43113f2
commit bd0d98a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml
@@ -536,7 +536,7 @@ let expression_of_place (env : env) (p : C.place) : K.expr * C.ety =
           e, t
       | C.Deref, TRef (_, ty, _) ->
           Krml.Helpers.(mk_deref (Krml.Helpers.assert_tbuf_or_tarray e.K.typ) e.K.node), ty
-      | DerefBox, TAdt (TAssumed TBox, { types = [ ty ]; _ }) ->
+      | C.Deref, TAdt (TAssumed TBox, { types = [ ty ]; _ }) ->
           Krml.Helpers.(mk_deref (Krml.Helpers.assert_tbuf_or_tarray e.K.typ) e.K.node), ty
       | Field (ProjAdt (typ_id, variant_id), field_id), C.TAdt (_, { types; const_generics; _ }) ->
       begin