Fix variable names

zxcalc · Dec 13, 2023 · 6ef3883 · 6ef3883
1 parent 9822dda
commit 6ef3883
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/zxlive/proof.py b/zxlive/proof.py
@@ -137,12 +137,11 @@ def rename_step(self, index: int, name: str):
 
     def to_json(self) -> str:
         """Serializes the model to JSON."""
-        initial_graph_tikz = self.graphs[0].to_json()
-        proof_steps = []
-        for step in self.steps:
-            proof_steps.append(step.to_json())
+        initial_graph = self.graphs[0].to_json()
+        proof_steps = [step.to_json() for step in self.steps]
+
         return json.dumps({
-            "initial_graph": initial_graph_tikz,
+            "initial_graph": initial_graph,
             "proof_steps": proof_steps
         })