1 files changed, 61 insertions, 0 deletions
diff --git a/testsuite/tests/printer/Ppr046.stderr b/testsuite/tests/printer/Ppr046.stderr
new file mode 100644
index 0000000000..ebe2d0620e
--- /dev/null
+++ b/testsuite/tests/printer/Ppr046.stderr
@@ -0,0 +1,61 @@
+
+Ppr046.hs:9:13: error:
+    The deprecation for ‘solverCheckAndGetModel’
+      lacks an accompanying binding
+
+Ppr046.hs:15:16: error:
+    Multiple warning declarations for ‘Logic’
+    also at  Ppr046.hs:9:13-17
+
+Ppr046.hs:15:16: error:
+    The deprecation for ‘solverCheckAndGetModel’
+      lacks an accompanying binding
+
+Ppr046.hs:16:13: error:
+    Multiple warning declarations for ‘solverCheckAndGetModel’
+    also at  Ppr046.hs:10:13-34
+
+Ppr046.hs:30:15: error: Not in scope: data constructor ‘Bitstream’
+
+Ppr046.hs:32:7: error:
+    Not in scope: ‘S.concatMap’
+    No module named ‘S’ is imported.
+
+Ppr046.hs:32:27: error:
+    Not in scope: ‘GV.stream’
+    No module named ‘GV’ is imported.
+
+Ppr046.hs:33:7: error:
+    Not in scope: ‘S.sized’
+    No module named ‘S’ is imported.
+
+Ppr046.ppr.hs:6:13: error:
+    The deprecation for ‘solverCheckAndGetModel’
+      lacks an accompanying binding
+
+Ppr046.ppr.hs:8:16: error:
+    Multiple warning declarations for ‘Logic’
+    also at  Ppr046.ppr.hs:6:13-17
+
+Ppr046.ppr.hs:8:16: error:
+    The deprecation for ‘solverCheckAndGetModel’
+      lacks an accompanying binding
+
+Ppr046.ppr.hs:8:23: error:
+    Multiple warning declarations for ‘solverCheckAndGetModel’
+    also at  Ppr046.ppr.hs:6:20-41
+
+Ppr046.ppr.hs:15:15: error:
+    Not in scope: data constructor ‘Bitstream’
+
+Ppr046.ppr.hs:17:5: error:
+    Not in scope: ‘S.concatMap’
+    No module named ‘S’ is imported.
+
+Ppr046.ppr.hs:17:25: error:
+    Not in scope: ‘GV.stream’
+    No module named ‘GV’ is imported.
+
+Ppr046.ppr.hs:17:38: error:
+    Not in scope: ‘S.sized’
+    No module named ‘S’ is imported.