1 files changed, 0 insertions, 8 deletions
diff --git a/backend/InterfGraphProperties.v b/backend/InterfGraphProperties.v
deleted file mode 100755
index 09e1b59..0000000
--- a/backend/InterfGraphProperties.v
+++ /dev/null
@@ -1,8 +0,0 @@
-Require Import InterfGraph.
-Require Import Coloring.
-
-Lemma set_reg_reg_diff_ext : forall x f live live0,
-SetRegReg.In x (interf_reg_reg (interf_graph f live live0)) -> fst x <> snd x.
-
-Proof.
-Admitted.
-\ No newline at end of file