From c2859d579b3b89266f62d4c5192e07c671a6492d Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Mon, 21 Jul 2014 16:18:47 -0700
Subject: [PATCH] Update output for regression test 226

---
 tests/issues/issue226.icry.stdout | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/issues/issue226.icry.stdout b/tests/issues/issue226.icry.stdout
index 3816a8f2..6a06a394 100644
--- a/tests/issues/issue226.icry.stdout
+++ b/tests/issues/issue226.icry.stdout
@@ -1,6 +1,5 @@
 Loading module Cryptol
 Loading module Cryptol
-Loading module Cryptol
 Loading module issue226r2
 Loading module issue226
 Type Synonyms