From dee0f65a8398da6cd5874726f86408fda9811a6e Mon Sep 17 00:00:00 2001
From: Yoni Zohar <yoni206@gmail.com>
Date: Wed, 5 Jun 2024 18:19:08 +0300
Subject: [PATCH] fix

---
 cvc5_pythonic_api/cvc5_pythonic.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cvc5_pythonic_api/cvc5_pythonic.py b/cvc5_pythonic_api/cvc5_pythonic.py
index 42540ad..b86884c 100644
--- a/cvc5_pythonic_api/cvc5_pythonic.py
+++ b/cvc5_pythonic_api/cvc5_pythonic.py
@@ -5988,7 +5988,7 @@ def __init__(self, ctx=None, logFile=None):
         self.assertions_ = [[]]
         self.last_result = None
         self.resetAssertions()
-        assert ctx == None
+        assert ctx is None or type(ctx) == Context
 
     def initFromLogic(self):
         """Create the base-API solver from the logic"""