From 91097383d0866f0b90fd72aa49a7e27dd3473ff0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 25 Mar 2004 23:28:30 +0000
Subject: Code mort

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5570 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_constrnew.ml4 | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/parsing/g_constrnew.ml4 b/parsing/g_constrnew.ml4
index 3df5253e6f..7a11123c6b 100644
--- a/parsing/g_constrnew.ml4
+++ b/parsing/g_constrnew.ml4
@@ -31,9 +31,6 @@ let _ =
 (* For Correctness syntax; doesn't work if in psyntax (freeze pb?)  *)
 let _ = Lexer.add_token ("","!")
 
-let pair loc =
-  Qualid (loc, Libnames.qualid_of_string "Coq.Init.Datatypes.pair")
-
 let mk_cast = function
     (c,(_,None)) -> c
   | (c,(_,Some ty)) -> CCast(join_loc (constr_loc c) (constr_loc ty), c, ty)
-- 
cgit v1.2.3