From 466c25ea43149deedf50e0105a6d1e69db91c8fd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 4 Sep 2014 17:58:12 +0200
Subject: Removing the old implementation of clear_body.

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

(limited to 'printing/printer.ml')

diff --git a/printing/printer.ml b/printing/printer.ml
index 8c7dbac334..f105e8031c 100644
--- a/printing/printer.ml
+++ b/printing/printer.ml
@@ -663,9 +663,6 @@ let pr_prim_rule = function
   | Thin ids ->
       (str"clear "  ++ pr_sequence pr_id ids)
 
-  | ThinBody ids ->
-      (str"clearbody "  ++ pr_sequence pr_id ids)
-
   | Move (withdep,id1,id2) ->
       (str (if withdep then "dependent " else "") ++
 	 str"move "  ++ pr_id id1 ++ Miscprint.pr_move_location pr_id id2)
-- 
cgit v1.2.3