From 19670abeff9895de593ef26ad2da247ae590ce90 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Thu, 30 Jan 2014 09:13:11 +0100
Subject: allow importing of Bidir without any postulates

---
 Everything.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index 76beef6..7399254 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -4,6 +4,7 @@ module Everything where
 import Generic
 import FinMap
 import CheckInsert
+import GetTypes
 import FreeTheorems
 import BFF
 import Bidir
-- 
cgit v1.2.3