From 786dbc4a589442275ab012b36d991c6408e24cef Mon Sep 17 00:00:00 2001
From: sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 16 Nov 2004 16:02:04 +0000
Subject: dead (and obsolete) code (in comments) removed

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6305 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/global.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'library/global.ml')

diff --git a/library/global.ml b/library/global.ml
index a1af7c456..9ad01842c 100644
--- a/library/global.ml
+++ b/library/global.ml
@@ -138,8 +138,3 @@ let type_of_reference env = function
   | ConstructRef cstr -> Inductive.type_of_constructor env cstr
 
 let type_of_global t = type_of_reference (env ()) t
-
-
-(*let get_kn dp l = 
-  make_kn (current_modpath !global_env) dp l
-*)
-- 
cgit v1.2.3