From 9f4d398c17fe6cb46ebc9906c8a06e7eff643ea0 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@meta.com>
Date: Thu, 29 Aug 2024 21:32:29 +0000
Subject: [PATCH] update

---
 docs/source/conf.py               | 2 +-
 pyproject.toml                    | 2 +-
 src/lean_dojo/constants.py        | 2 +-
 src/lean_dojo/interaction/dojo.py | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 8e01d8b1..eb0a759e 100644
--- a/docs/source/conf.py
+++ b/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
diff --git a/pyproject.toml b/pyproject.toml
index 99d75878..7b2b01e1 100644
--- a/pyproject.toml
+++ b/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" },
 ]
diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py
index 6b4a6190..4ba703b5 100644
--- a/src/lean_dojo/constants.py
+++ b/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:
diff --git a/src/lean_dojo/interaction/dojo.py b/src/lean_dojo/interaction/dojo.py
index b8ab0fb3..cc1999f8 100644
--- a/src/lean_dojo/interaction/dojo.py
+++ b/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: