From 9306f04c0bb2f203ed88e54a22fabb6eccf93f0c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Sep 2000 21:41:16 +0000
Subject: nettoyage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@595 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/sosub.mli | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'kernel/sosub.mli')

diff --git a/kernel/sosub.mli b/kernel/sosub.mli
index 123362527a..1bc45d6ceb 100644
--- a/kernel/sosub.mli
+++ b/kernel/sosub.mli
@@ -8,7 +8,5 @@ open Term
 (* Second-order substitutions. *)
 
 val soexecute : constr -> constr
-(*
-val try_soexecute : constr -> constr
-*)
+
 
-- 
cgit v1.2.3