Merge pull request #62 from Nadrieril/update-charon

AeneasVerif · Aug 27, 2024 · 1107d19 · 1107d19
2 parents cd5c9e5 + 776fe4a
commit 1107d19
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml
@@ -301,6 +301,7 @@ let typ_of_literal_ty (_env : env) (ty : Charon.Types.literal_type) : K.typ =
   match ty with
   | TBool -> K.TBool
   | TChar -> failwith "TODO: Char"
+  | TFloat _ -> failwith "TODO: Float"
   | TInteger k -> K.TInt (width_of_integer_type k)
 
 let rec typ_of_ty (env : env) (ty : Charon.Types.ty) : K.typ =