diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-01-28 11:59:11 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-01-28 11:59:11 -0800 |
| commit | c105d8391256e7b1bf3144b0d7232f1000bd8343 (patch) | |
| tree | fb7471326f42bb4eada2fcfbf8d532d7f4fbae27 | |
| parent | 6b97fd372334e7735230f0609797ded4c12c68c8 (diff) | |
| download | halt3-c105d8391256e7b1bf3144b0d7232f1000bd8343.tar.gz halt3-c105d8391256e7b1bf3144b0d7232f1000bd8343.tar.bz2 halt3-c105d8391256e7b1bf3144b0d7232f1000bd8343.zip | |
Fix (program, input) argument list to (input, input).
Spotted by P. Olcott.
| -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: |