From 958f56cc1a26100b4be514c66e06ee1e5826b72f Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 10 Dec 2018 14:14:45 +0100
Subject: [PATCH] Fix benchmarks build

---
 bench/Copar/Coalgebra/BenchParser.hs     | 2 +-
 bench/Copar/Functors/BenchGroupValued.hs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bench/Copar/Coalgebra/BenchParser.hs b/bench/Copar/Coalgebra/BenchParser.hs
index bbd6054..457740c 100644
--- a/bench/Copar/Coalgebra/BenchParser.hs
+++ b/bench/Copar/Coalgebra/BenchParser.hs
@@ -13,7 +13,7 @@ import           Data.Text (Text)
 import           Control.DeepSeq
 
 import           Copar.Coalgebra.Parser
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Copar.FunctorExpression.Sorts
 import           Copar.FunctorExpression.Type
 import           Copar.FunctorExpression.Parser
diff --git a/bench/Copar/Functors/BenchGroupValued.hs b/bench/Copar/Functors/BenchGroupValued.hs
index a34abbe..355ec1b 100644
--- a/bench/Copar/Functors/BenchGroupValued.hs
+++ b/bench/Copar/Functors/BenchGroupValued.hs
@@ -15,7 +15,7 @@ import           Control.Monad.State.Strict
 
 import           Copar.Coalgebra.Parser
 import           Copar.Coalgebra.Parser.Internal
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Copar.Functors.GroupValued
 
 benchmarks :: Benchmark
-- 
GitLab