From ee3b0e76ff114eb3b9cf93ca654e5f8ccb73c2a9 Mon Sep 17 00:00:00 2001 From: Isaac Date: Tue, 19 Apr 2022 13:50:58 -0700 Subject: [PATCH] 2 shows I forgot --- __pycache__/proof.cpython-39.pyc | Bin 22948 -> 22948 bytes proof.py | 2 ++ 2 files changed, 2 insertions(+) diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc index 13f7c975075310a6cd3ca271158f0a2e85ed4203..4f6806608f5f5bbcffbff68698d44ebb4ddd6985 100644 GIT binary patch delta 21 bcmZ3onQ_TxMy^C&UM>b8xF)laYgQxxM5zVf delta 21 bcmZ3onQ_TxMy^C&UM>b8P?X%rH7gPTKwJeV diff --git a/proof.py b/proof.py index a5a41d4..c16ddc5 100644 --- 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: