diff --git a/idris.cabal b/idris.cabal
index 2df638434..0eb39b097 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -570,6 +570,7 @@ Extra-source-files:
                        test/pkg001/run
                        test/pkg001/test.ipkg
                        test/pkg001/*.idr
+                       test/pkg001/expected
 
                        test/proof001/run
                        test/proof001/*.idr
diff --git a/test/pkg001/expected b/test/pkg001/expected
new file mode 100644
index 000000000..5a06c1e93
--- /dev/null
+++ b/test/pkg001/expected
@@ -0,0 +1 @@
+Type checking ./Main.idr