diff --git a/src/API.hs b/src/API.hs
index a577fda4fc985d24f8b7c35726ae51f8f6571d35..338cb9f8f59108db18e2c7582c1755724d951fa7 100644
--- a/src/API.hs
+++ b/src/API.hs
@@ -71,7 +71,7 @@ compareSpec m pMode methodA methodB = do
 
             mv1 <- newEmptyMVar
             mv2 <- if m == Debug then newEmptyMVar else return mv1
-            mapM_ compareSpecHelper [ (mv1, "Z3", Test.equivalentTo)
+            mapM_ compareSpecHelper [ (mv1, "Z3", Z3.equivalentTo)
                                     , (mv2, "Test", Test.equivalentTo)
                                     ]
             res1 <- readMVar mv1