From e6e698e4008c49aba5bbaa586ce935b84d2b0ccf Mon Sep 17 00:00:00 2001
From: Nadav Samet <thesamet@gmail.com>
Date: Fri, 15 Jan 2021 20:33:02 -0800
Subject: [PATCH] Regress to Java 8 in testing

---
 proptest.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proptest.sh b/proptest.sh
index 8ebe8850c..8a7684791 100755
--- a/proptest.sh
+++ b/proptest.sh
@@ -1,3 +1,3 @@
 #!/usr/bin/env sh
 set -e
-sbt -J-XX:LoopStripMiningIter=0 ++$SCALA_VERSION test
+sbt ++$SCALA_VERSION test