From c6f3b913da61f7672a8d6e4b5e6d7ef1f94165fd Mon Sep 17 00:00:00 2001
From: vgross
Date: Wed, 27 May 2009 14:30:03 +0000
Subject: keeping interface synch'ed

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12144 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.mli | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ide/coq.mli b/ide/coq.mli
index 918519b1a0..714cb58cd0 100644
--- a/ide/coq.mli
+++ b/ide/coq.mli
@@ -93,8 +93,6 @@ type tried_tactic =
   | Success of int (* nb of goals after *)
   | Failed
 
-val try_interptac: string -> tried_tactic
-
 (* Message to display in lower status bar. *)
 
 val current_status : unit -> string
-- 
cgit v1.2.3