Remove cram stanza now enabled by default

mbarbin · Dec 16, 2024 · aad2f52 · aad2f52
1 parent 7d5414b
commit aad2f52
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -21,8 +21,6 @@
 
 (using menhir 3.0)
 
-(cram enable)
-
 (package
  (name bopkit)
  (synopsis "An educational project for digital circuits programming")