From a633f41a5174aa2cf3fca0b5355b60b4628de49d Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sun, 25 Jan 2015 18:49:20 -0800 Subject: Fixed error in pseudo-code comment. The error_decider returns strictly a boolean value. (Reported 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 73c2bf5..985b3d3 100644 --- a/proof-sketch.txt +++ b/proof-sketch.txt @@ -141,7 +141,7 @@ The Proof: } function error_decider(decider, program, input) { - # performs some computation and returns error, true or false + # performs some computation and returns strictly true or false } function main(input) { -- cgit v1.2.3