From 774e2fea98927da13d402e4eee96bc49ee027206 Mon Sep 17 00:00:00 2001
From: Adam Sandberg Eriksson <adam@sandbergericsson.se>
Date: Fri, 13 Mar 2015 23:52:32 +0100
Subject: [PATCH] Add type providers docs test case to cabal file

---
 idris.cabal | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/idris.cabal b/idris.cabal
index c2182c52c..215147d13 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -615,6 +615,10 @@ Extra-source-files:
                        test/docs001/input
                        test/docs001/*.idr
                        test/docs001/expected
+                       test/docs002/run
+                       test/docs002/input
+                       test/docs002/*.idr
+                       test/docs002/expected