diff options
| -rw-r--r-- | proof-sketch.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proof-sketch.txt b/proof-sketch.txt index 7b9809a..c4cc1e9 100644 --- a/proof-sketch.txt +++ b/proof-sketch.txt @@ -158,7 +158,7 @@ The Proof: procedure main(input) { if (error_decider(source_code(halting_decider), input, input)) { - switch (halting_decider(program, input)) { + switch (halting_decider(input, input)) { case true: exit(0) case false: |