Commit b70c8066 authored by's avatar
Browse files

Remove unused import

parent 4330e6f4
......@@ -110,7 +110,6 @@ import Var
import VarEnv
import VarSet
import OccName
import Name
import Class
import PrelNames
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