chore: update F*

Inria-Prosecco · Sep 2, 2024 · 9a8c6aa · 9a8c6aa
1 parent 3978d7f
commit 9a8c6aa
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/hacl-star-snapshot/lib/Lib.Sequence.fsti b/hacl-star-snapshot/lib/Lib.Sequence.fsti
@@ -463,7 +463,7 @@ val lemma_map_blocks:
 
 
 (* Computes the block of the i-th element of (map_blocks blocksize input f g) *)
-#push-options "--z3rlimit 50"
+#push-options "--z3rlimit 100"
 let get_block
   (#a:Type)
   (#len:nat)