diff --git a/dune-project b/dune-project index a8ec66bf..4d64e0c8 100644 --- a/dune-project +++ b/dune-project @@ -42,3 +42,4 @@ ; (documentation ...) (generate_opam_files true) +(cram enable)