From: Peter Lemenkov <lemenkov@gmail.com>
Date: Tue, 12 Nov 2019 22:26:09 +0100
Subject: [PATCH] Disable one test case

Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>

diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index b9c4a49..acf2f75 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -977,7 +977,6 @@ false_props_test_() ->
 		      ])},
 		     {stupid, ?FORALL(_, pos_integer(), throw(woot))}
 		 ]))),
-     {timeout, 20, ?_fails(ets_counter:prop_ets_counter())},
      ?_fails(post_false:prop_simple()),
      ?_fails(error_statem:prop_simple())].