From f461e7657cab9917c5b405427ddba3d56f197efb Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 8 May 2016 18:59:55 +0200
Subject: Removing dead code and unused opens.

---
 printing/ppvernac.ml | 5 -----
 printing/printmod.ml | 1 -
 2 files changed, 6 deletions(-)

(limited to 'printing')

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index f0548238a7..10b2bda05e 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -99,11 +99,6 @@ module Make
     | ETBinder false -> str "closed binder"
     | ETBinderList _ | ETConstrList _ -> failwith "Internal entry type"
 
-  let strip_meta id =
-    let s = Id.to_string id in
-    if s.[0] == '$' then Id.of_string (String.sub s 1 (String.length s - 1))
-    else id
-
   let pr_comment pr_c = function
     | CommentConstr c -> pr_c c
     | CommentString s -> qs s
diff --git a/printing/printmod.ml b/printing/printmod.ml
index 9354cd28d0..5f98eeeab9 100644
--- a/printing/printmod.ml
+++ b/printing/printmod.ml
@@ -65,7 +65,6 @@ let get_new_id locals id =
 
 (** Inductive declarations *)
 
-open Termops
 open Reduction
 
 let print_params env sigma params =
-- 
cgit v1.2.3