Commit 88af41cf authored by kgardas's avatar kgardas
Browse files

remove redundant Settings.Builders.Common import

parent dc8dbcc5
......@@ -4,7 +4,6 @@ import Base
import Expression
import GHC (integerGmp)
import Predicates (builder, builderGcc, package)
import Settings.Builders.Common
import Settings.Paths
import Oracles.Config.Setting
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