From 34b6cf4adb11f0ddf57d21c58dd894b9a51630d6 Mon Sep 17 00:00:00 2001
From: Alistair Michael <alistair.michael@uq.edu.au>
Date: Wed, 29 Nov 2023 11:01:08 +1000
Subject: [PATCH] cleanup

---
 src/main/scala/ir/Block.scala     | 9 ---------
 src/main/scala/ir/Procedure.scala | 7 -------
 2 files changed, 16 deletions(-)
 delete mode 100644 src/main/scala/ir/Block.scala
 delete mode 100644 src/main/scala/ir/Procedure.scala

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