From 14b9399e3307ca5825d1e365199d4eb0e868e493 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Thu, 23 Oct 2014 15:02:42 -0700
Subject: [PATCH] fix expected test output for issue #128.

---
 tests/issues/issue128.icry.stdout | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/issues/issue128.icry.stdout b/tests/issues/issue128.icry.stdout
index d3dedc425..dbb099ab7 100644
--- a/tests/issues/issue128.icry.stdout
+++ b/tests/issues/issue128.icry.stdout
@@ -2,6 +2,6 @@ Loading module Cryptol
 Loading module Cryptol
 Loading module Main
 Using exhaustive testing.
-passed 1 tests.
+  0%passed 1 tests.
 Q.E.D.
 Q.E.D.