diff --git a/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py b/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py
index 631cc03e..228c89fd 100644
--- a/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py
+++ b/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py
@@ -9,7 +9,7 @@ from cryptol.bitvector import BV
 
 class TestErrorRecovery(unittest.TestCase):
     def test_ErrorRecovery(self):
-        c = cryptol.sync.connect()
+        c = cryptol.sync.connect(verify=False)
         
         with self.assertRaises(ArgoException):
             c.load_file(str(Path('tests','cryptol','test-files','bad.cry')))