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