REMOVE ME: Disable inline tests

let-def · Feb 23, 2022 · 5ab38ed · 5ab38ed
1 parent ef73c77
commit 5ab38ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/lwd/dune b/lib/lwd/dune
@@ -3,7 +3,7 @@
   (public_name lwd)
   (modules lwd lwd_seq lwd_table lwd_infix lwd_utils) 
   (libraries seq)
-  (inline_tests (backend qtest.lib))
+  ;(inline_tests (backend qtest.lib))
   (wrapped false))
 
 (rule