AeneasVerif
diff --git a/‎flake.lock‎
Lines changed: 3 additions & 3 deletions b/‎flake.lock‎
Lines changed: 3 additions & 3 deletions
diff --git a/‎lib/AstOfLlbc.ml‎
Lines changed: 1 addition & 1 deletion b/‎lib/AstOfLlbc.ml‎
Lines changed: 1 addition & 1 deletion
@@ -2193,7 +2193,7 @@ and expression_of_statement_kind (env : env) (ret_var : C.local_id) (s : C.state
         (*       [ p ]))) *)
         | _ -> Krml.Helpers.eunit
       end
-  | Assert a -> expression_of_assertion env a
+  | Assert (a, _on_failure) -> expression_of_assertion env a
   | Call
       {
         func =
Original file line number	Diff line number	Diff line change
`@@ -2193,7 +2193,7 @@ and expression_of_statement_kind (env : env) (ret_var : C.local_id) (s : C.state`
`2193`	`2193`	`(* [ p ]))) *)`
`2194`	`2194`	`\| _ -> Krml.Helpers.eunit`
`2195`	`2195`	`end`
`2196`		`- \| Assert a -> expression_of_assertion env a`
	`2196`	`+ \| Assert (a, _on_failure) -> expression_of_assertion env a`
`2197`	`2197`	`\| Call`
`2198`	`2198`	`{`
`2199`	`2199`	`func =`