diff --git a/tests/issues/issue148.icry b/tests/issues/issue148.icry
index 395acd2f6..1509a9112 100644
--- a/tests/issues/issue148.icry
+++ b/tests/issues/issue148.icry
@@ -1 +1,2 @@
 :l issue148.cry
+:sat (\(e:[64]) -> (e@@[8..24]) != zero)
diff --git a/tests/issues/issue148.icry.fails b/tests/issues/issue148.icry.fails
deleted file mode 100644
index 2373ca93d..000000000
--- a/tests/issues/issue148.icry.fails
+++ /dev/null
@@ -1 +0,0 @@
-Known issue, see ticket #4.
diff --git a/tests/issues/issue148.icry.stdout b/tests/issues/issue148.icry.stdout
index 864651311..06d1e9ad9 100644
--- a/tests/issues/issue148.icry.stdout
+++ b/tests/issues/issue148.icry.stdout
@@ -1 +1,19 @@
-Should load and typecheck cleanly - no errors. Once it does, I'll put in a smoketest of reasonable output.
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+[warning] at ./issue148.cry:2:1--9:10:
+  Defaulting type parameter 'bits'
+             of literal or demoted expression
+             at ./issue148.cry:4:34--4:35
+  to max 2 (width a`193)
+[warning] at ./issue148.cry:2:1--9:10:
+  Defaulting 2nd type parameter
+             of expression take
+             at ./issue148.cry:6:10--6:14
+  to 16 * a`193
+[warning] at <interactive>:1:1--1:36:
+  Defaulting type parameter 'bits'
+             of finite enumeration
+             at <interactive>:1:19--1:26
+  to 5
+(\(e : [64]) -> (e @@ [8 .. 24]) != zero) 0x0000008000000000 = True