Update gold (for GHC 8.2.2)

LeventErkok · Nov 25, 2017 · 7a11956 · 7a11956
1 parent de30a6b
commit 7a11956
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/GoldFiles/T16.hs.golden b/tests/GoldFiles/T16.hs.golden
@@ -3,5 +3,5 @@
 [Z3] Falsifiable. Counter-example:
   age = Age!val!0 :: Age
 [SBV] Counter-example might be bogus due to uninterpreted constant:
-  [<no location info>] ds_d8eJ :: Int
+  [<no location info>] ds_d8ep :: Int
 [SBV] Failed. (Use option 'IgnoreFailure' to continue.)