From c105d8391256e7b1bf3144b0d7232f1000bd8343 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Wed, 28 Jan 2015 11:59:11 -0800
Subject: Fix (program, input) argument list to (input, input).

Spotted by P. Olcott.
---
 proof-sketch.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
-- 
cgit v1.2.3