diff --git a/Makefile.local b/Makefile.local
index d4f5e5d..5b294a3 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -1 +1 @@
-TESTFLAGS=--hypothesis-profile=fast --disable-warnings -m property_based
+TESTFLAGS=--hypothesis-profile=fast --disable-warnings