From aad2f52f1ed169f2e20fd4212ff0e6bdfd12eba3 Mon Sep 17 00:00:00 2001
From: Mathieu Barbin <mathieu.barbin@gmail.com>
Date: Sun, 15 Dec 2024 19:02:21 +0100
Subject: [PATCH] Remove cram stanza now enabled by default

---
 dune-project | 2 --
 1 file changed, 2 deletions(-)

diff --git a/dune-project b/dune-project
index ec4b0c2..0a1d383 100644
--- 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")