toysat-ipasir: use empty export list in IPASIR module

msakai · Feb 4, 2021 · fde2c66 · fde2c66
1 parent 07d59c1
commit fde2c66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/toysat-ipasir/IPASIR.hs b/app/toysat-ipasir/IPASIR.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS_GHC -Wall #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-module IPASIR where
+module IPASIR () where
 
 import Control.Exception
 import Control.Monad