Merge branch 'main' into franziskus/more-array-equal-glue

AeneasVerif · Aug 28, 2024 · 7338756 · 7338756
2 parents d9e28bf + 1107d19
commit 7338756
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 =