Commit 71a60e33 authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 2a84ade2
......@@ -18,7 +18,6 @@ import Directory ( getHomeDirectory )
import Distribution ( installDir )
import IO
import List ( intercalate )
import Profile
import ReadNumeric ( readNat )
import ReadShowTerm ( showQTerm, readsQTerm )
import System
......
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