From 6bfa16dde0d59d598c747032be296897b63a463c Mon Sep 17 00:00:00 2001 From: Taksh Date: Sat, 18 Jul 2026 20:05:13 +0300 Subject: [PATCH] fix: drop stray paren in ApplyTheta string form --- src/estimates/log_linarith.py | 2 +- tests/test_all.py | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/estimates/log_linarith.py b/src/estimates/log_linarith.py index 45f570e..916cf60 100644 --- a/src/estimates/log_linarith.py +++ b/src/estimates/log_linarith.py @@ -80,7 +80,7 @@ def activate(self, state: ProofState) -> list[ProofState]: def __str__(self) -> str: if self.newhyp is None: - return f"apply_theta {self.hyp})" + return f"apply_theta {self.hyp}" else: return f"{self.newhyp} := apply_theta {self.hyp}" diff --git a/tests/test_all.py b/tests/test_all.py index 862b3ed..504f892 100644 --- a/tests/test_all.py +++ b/tests/test_all.py @@ -110,3 +110,7 @@ def test_subst_all_solution_reversed(self, capsys): def test_sympy_simplify_solution(self, capsys): sympy_simplify_solution() self.proof_complete(capsys) + + def test_apply_theta_str(self): + from estimates.log_linarith import ApplyTheta + assert str(ApplyTheta("h")) == "apply_theta h"