diff --git a/tests/issues/1008/record.expected b/tests/issues/1008/record.expected
index a6e005255..6f99ff0f4 100644
--- a/tests/issues/1008/record.expected
+++ b/tests/issues/1008/record.expected
@@ -1,2 +1,2 @@
 
-unknown
+unsat