From 74ddca99c649f2f8c203582a9b82bddf64fb6b52 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 22 Apr 2014 15:31:12 +0200
Subject: Removing dead code, thanks to new OCaml warnings and a bit of
 scripting.

---
 proofs/proof_type.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'proofs/proof_type.ml')

diff --git a/proofs/proof_type.ml b/proofs/proof_type.ml
index f98bfa5ea..7297706e1 100644
--- a/proofs/proof_type.ml
+++ b/proofs/proof_type.ml
@@ -37,7 +37,6 @@ type prim_rule =
   | Thin of Id.t list
   | ThinBody of Id.t list
   | Move of bool * Id.t * Id.t move_location
-  | Order of Id.t list
   | Rename of Id.t * Id.t
 
 (** Nowadays, the only rules we'll consider are the primitive rules *)
-- 
cgit v1.2.3