From 5d96988b9c80fa84998a6be7f4aa6265ffcd7fdd Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Sat, 10 Mar 2018 19:06:49 +0100
Subject: [PATCH] Minor fix
---
src/API.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/API.hs b/src/API.hs
index a577fda..338cb9f 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
--
GitLab