From 5253b49c295213c80b006bf6e1063d2f09abb66e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Fri, 19 Apr 2019 00:33:12 +0100
Subject: Equivalence test now running

---
 src/VeriFuzz/Fuzz.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index 31503cf..180ed4f 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -237,8 +237,7 @@ pop :: (MonadBaseControl IO m, MonadSh m) => FilePath -> m a -> m a
 pop f a = do
     dir <- liftSh pwd
     liftSh $ cd f
-    ret <- a
-    liftSh $ cd dir
+    ret <- finally a . liftSh $ cd dir
     return ret
 
 equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m ()
-- 
cgit