Fixed error in pseudo-code comment.

The error_decider returns strictly a boolean value.
(Reported by P. Olcott.)

1 files changed, 1 insertions, 1 deletions

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) {