From 5e75f834e77777bf2bb243f28bcd624d5bda66be Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@galois.com>
Date: Thu, 28 Feb 2019 10:04:17 -0800
Subject: [PATCH] Update test for new utf-8 error message

---
 .gitignore                           | 4 ++++
 tests/regression/check31.icry.stdout | 3 +--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 7c2d3190..88d4074a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,7 @@ cryptol-2.*
 /ICryptol/profile_cryptol/security/
 /ICryptol/profile_cryptol/startup/
 /bench*.xml
+
+# ignore test suite output
+/bin
+/output
diff --git a/tests/regression/check31.icry.stdout b/tests/regression/check31.icry.stdout
index ac016621..b9b59aa6 100644
--- a/tests/regression/check31.icry.stdout
+++ b/tests/regression/check31.icry.stdout
@@ -1,6 +1,5 @@
 Loading module Cryptol
 
-[error] IO error while loading file: ./check31.iso8859.cry:
-    ./check31.iso8859.cry: hGetContents: invalid argument (invalid byte sequence)
+[error] bad utf-8 encoding: ./check31.iso8859.cry
 Loading module Cryptol
 Loading module Fοο