Commit f2f5b1ef authored by batterseapower's avatar batterseapower
Browse files

Follow introduction of MkCore in VectUtils

parent 0785f711
...@@ -21,7 +21,7 @@ module VectUtils ( ...@@ -21,7 +21,7 @@ module VectUtils (
import VectCore import VectCore
import VectMonad import VectMonad
import DsUtils import MkCore
import CoreSyn import CoreSyn
import CoreUtils import CoreUtils
import Coercion import Coercion
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