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

---
 printing/printer.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'printing')

diff --git a/printing/printer.ml b/printing/printer.ml
index b16c8c502b..4bab893d73 100644
--- a/printing/printer.ml
+++ b/printing/printer.ml
@@ -648,9 +648,6 @@ let pr_prim_rule = function
       (str (if withdep then "dependent " else "") ++
 	 str"move "  ++ pr_id id1 ++ Miscprint.pr_move_location pr_id id2)
 
-  | Order ord ->
-      (str"order "  ++ pr_sequence pr_id ord)
-
   | Rename (id1,id2) ->
       (str "rename " ++ pr_id id1 ++ str " into " ++ pr_id id2)
 
-- 
cgit v1.2.3