diff --git a/src/main/scala/ir/Block.scala b/src/main/scala/ir/Block.scala
deleted file mode 100644
index 075aa16b9..000000000
--- a/src/main/scala/ir/Block.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-package ir
-
-import collection.mutable
-import scala.collection.immutable
-import intrusiveList.IntrusiveList
-import intrusiveList.IntrusiveListElement
-
-import scala.collection.mutable.ArrayBuffer
-
diff --git a/src/main/scala/ir/Procedure.scala b/src/main/scala/ir/Procedure.scala
deleted file mode 100644
index 90d967308..000000000
--- a/src/main/scala/ir/Procedure.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-package ir
-
-import boogie.{BParam, BVariable, BitVecBType, BoolBType}
-
-import scala.collection.mutable
-import scala.collection.mutable.ArrayBuffer
-import intrusiveList.IntrusiveList