Commit 1375f908 authored by batterseapower's avatar batterseapower
Browse files

Handle introduction of MkCore in DsBinds

parent fec15030
......@@ -26,6 +26,7 @@ import DsUtils
import HsSyn -- lots of things
import CoreSyn -- lots of things
import MkCore
import CoreUtils
import CoreFVs
......
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