Commit e2800e3e authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Fix benchmark compilation

parent 92efd0a8
......@@ -141,4 +141,4 @@ enc f1s transitions = (V.fromList f1s) edges
mkEdge (from, to) = Encoding.Edge from () to
initialize' :: Encoding () Bool -> ST s ([Block], AlgoState s Powerset)
initialize' = initialize @Powerset
initialize' e = initialize @Powerset e True
Supports Markdown
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