update

docs/source/conf.py

@@ -13,7 +13,7 @@
 project = "LeanDojo"
 copyright = "2023, LeanDojo Team"
 author = "Kaiyu Yang"
-release = "2.1.2"
+release = "2.1.3"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

pyproject.toml

@@ -12,7 +12,7 @@ exclude = [
 
 [project]
 name = "lean-dojo"
-version = "2.1.2"
+version = "2.1.3"
 authors = [
   { name="Kaiyu Yang", email="kaiyuy@meta.com" },
 ]

src/lean_dojo/constants.py

@@ -14,7 +14,7 @@
 
 load_dotenv()
 
-__version__ = "2.1.2"
+__version__ = "2.1.3"
 
 logger.remove()
 if "VERBOSE" in os.environ or "DEBUG" in os.environ:

src/lean_dojo/interaction/dojo.py

@@ -200,7 +200,6 @@ def __enter__(self) -> Tuple["Dojo", State]:
 
         assert res["error"] is None
 
-        # logger.debug(f"Response: {res}")
         if self.uses_tactics:
             assert res["tacticState"] != "no goals"
             init_state: State = TacticState(
@@ -388,6 +387,7 @@ def _submit_request(self, req: str) -> Dict[str, Any]:
             raise DojoCrashError(f"Invalid JSON: {res}")
 
         result["message"] = msg
+        logger.debug(result)
         return result
 
     def _check_alive(self) -> None: