use dune 3.5

FStarLang · Dec 7, 2023 · 7dd9b24 · 7dd9b24
1 parent 0644e20
commit 7dd9b24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.5)
 (name karamel)
 (using menhir 2.0)