Update Charon (#94)

* Propagate changes coming from Charon-ML * Update the Charon pin * Update the Charon pin * Update the Charon pin
AeneasVerif · Nov 29, 2024 · b665364 · b665364
1 parent 567f390
commit b665364
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml
@@ -1609,7 +1609,7 @@ let decl_of_id (env : env) (id : C.any_decl_id) : K.decl option =
       let env = push_type_binders env type_params in
 
       match kind with
-      | Union _ | Opaque | Error _ -> None
+      | Union _ | Opaque | TError _ -> None
       | Struct fields ->
           let fields =
             List.map