Merge pull request #34 from ElectreAAS/patch-1

Syntax fix in dune-project dependency
coco33920 · Dec 25, 2023 · 50dc60e · 50dc60e
2 parents cc4c6fe + 8809bc3
commit 50dc60e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -20,5 +20,4 @@
  (synopsis "The Baguette# Interpreter REPL")
  (description "The REPL for Baguette#")
  (depends
- {"ocaml">=4.13.1})
- )
+  (ocaml (>= 4.13.1))))