chore: update F*

Inria-Prosecco · Aug 27, 2024 · 3978d7f · 3978d7f
1 parent d5182f0
commit 3978d7f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/fstar/common/proofs/MLS.MiscLemmas.fst b/fstar/common/proofs/MLS.MiscLemmas.fst
@@ -139,7 +139,11 @@ val sorted_append:
 let rec sorted_append #a lt cutoff l1 l2 =
   match l1 with
   | [] -> ()
-  | [h] -> ()
+  | [h] -> (
+    match l2 with
+    | [] -> ()
+    | _::_ -> ()
+  )
   | h::t -> sorted_append lt cutoff t l2
 #pop-options