diff --git a/TestMain.hs b/TestMain.hs
index 228dc0c..c7ec816 100644
--- a/TestMain.hs
+++ b/TestMain.hs
@@ -45,7 +45,7 @@ import System.Environment
 import System.IO
 import Test.HUnit
 
-import qualified ArrayUsageCheckTest (qcTests)
+import qualified ArrayUsageCheckTest (ioqcTests)
 import qualified BackendPassesTest (tests)
 import qualified CommonTest (tests)
 import qualified FlowGraphTest (qcTests)
@@ -116,7 +116,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
     qcTests = concatMapM (liftM snd) tests
 
     tests = [
-              ArrayUsageCheckTest.qcTests
+              ArrayUsageCheckTest.ioqcTests
               ,noqc BackendPassesTest.tests
               ,noqc CommonTest.tests
               ,return FlowGraphTest.qcTests
diff --git a/transformations/ArrayUsageCheckTest.hs b/transformations/ArrayUsageCheckTest.hs
index 9c22a28..b1fc724 100644
--- a/transformations/ArrayUsageCheckTest.hs
+++ b/transformations/ArrayUsageCheckTest.hs
@@ -16,7 +16,7 @@ You should have received a copy of the GNU General Public License along
 with this program.  If not, see <http://www.gnu.org/licenses/>.
 -}
 
-module ArrayUsageCheckTest (qcTests) where
+module ArrayUsageCheckTest (ioqcTests) where
 
 import Control.Monad.Identity
 import Data.Array.IArray
@@ -759,8 +759,8 @@ qcOmegaPrune = [scaleQC (100,1000,10000,50000) prop]
         result = undefined -- TODO replace solveAndPrune: solveProblem [] inp
     -}
     
-qcTests :: IO (Test, [QuickCheckTest])
-qcTests
+ioqcTests :: IO (Test, [QuickCheckTest])
+ioqcTests
   = do usageCheckTest1 <- automaticTest "testcases/automatic/usage-check-1.occ.test"
        usageCheckTest2 <- automaticTest "testcases/automatic/usage-check-2.occ.test"
        return