diff options
Diffstat (limited to 'backend/InterfGraphProperties.v')
-rwxr-xr-x | backend/InterfGraphProperties.v | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/backend/InterfGraphProperties.v b/backend/InterfGraphProperties.v deleted file mode 100755 index 09e1b59f..00000000 --- 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 |