From a128c458a62cd86a6ff3bea5b5a4e20e8e792f26 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 23 Oct 2000 16:50:08 +0000
Subject: code mort

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

diff --git a/toplevel/command.ml b/toplevel/command.ml
index 6d8264d9c8..79f0df63ad 100644
--- a/toplevel/command.ml
+++ b/toplevel/command.ml
@@ -67,12 +67,6 @@ let syntax_definition ident com =
   if is_verbose() then 
     message ((string_of_id ident) ^ " is now a syntax macro")
 
-(***TODO
-let abstraction_definition ident arity com =
-  let c = raw_interp_constrpattern Evd.empty (Global.env()) com in 
-  machine_abstraction ident arity c
-***)
-
 (* 2| Variable definitions *)
 
 let parameter_def_var ident c =
-- 
cgit v1.2.3