Commit 958f56cc authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Fix benchmarks build

parent 746f828f
......@@ -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
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment