New debugging option: --trace-verify

1 files changed, 4 insertions, 1 deletions

diff --git a/lib/Kiki.hs b/lib/Kiki.hs
index 64e2d7d..6481b58 100644
--- a/lib/Kiki.hs
+++ b/lib/Kiki.hs
@@ -1,6 +1,9 @@
 {-# LANGUAGE CPP               #-}
 {-# LANGUAGE OverloadedStrings #-}
-module Kiki where
+module Kiki
+    ( module Kiki
+    , setVerifyFlag
+    ) where
 
 import           Control.Applicative
 import           Control.Arrow