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