2 shows I forgot

isahers1 · Apr 19, 2022 · ee3b0e7 · ee3b0e7
1 parent c6f04a9
commit ee3b0e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
diff --git a/proof.py b/proof.py
@@ -689,9 +689,11 @@ def andElim(self, lineNum, n):
             if n==1:
                 self.steps += [evidence.arg1]
                 self.justifications += ["And elimination"]
+                self.show()
             elif n==2:
                 self.steps += [evidence.arg2]
                 self.justifications += ["And elimination"]
+                self.show()
             else:
                 print('\n'+"You must choose argument 1 or 2")
         else: