Backtracking on commit 1220v1.6

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1228 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 15 deletions

diff --git a/backend/IRC_graph.v b/backend/IRC_graph.v
deleted file mode 100755
index 31e9ce80..00000000
--- a/backend/IRC_graph.v
+++ /dev/null
@@ -1,15 +0,0 @@
-Require Import FSets.
-Require Import InterfGraphMapImp.
-
-Record irc_graph := Make_IRC_Graph {
-irc_g : tt;
-irc_wl : WS;
-pal : VertexSet.t;
-irc_k : nat;
-HWS_irc : WS_properties irc_g irc_k irc_wl;
-Hk : VertexSet.cardinal pal = irc_k
-}.
-
-Definition graph_to_IRC_graph g palette :=
-let K := VertexSet.cardinal palette in
-Make_IRC_Graph g (get_WL g K) palette K (WS_prop_get _ _) (refl_equal _).