diff --git a/tests/dune b/tests/dune
index dc21ac6..7fda1a2 100644
--- a/tests/dune
+++ b/tests/dune
@@ -23,7 +23,7 @@
     ;Simplifier_tests
     RemoveVariadic_tests
 
-    Property_tests
+    ;Property_tests
   )
 
   (modules_without_implementation testable_sig)