acic_procedural and tactics removed

[helm.git] / matita / matita / matitaTypes.mli

diff --git a/matita/matita/matitaTypes.mli b/matita/matita/matitaTypes.mli
index ec3048f6798dd3716203231c9560648144501e35..9cb7ac984d0fd29b336038904dc75dfa481c206e 100644 (file)
--- a/matita/matita/matitaTypes.mli
+++ b/matita/matita/matitaTypes.mli
@@ -31,7 +31,6 @@ type abouts = [ `Blank | `Current_proof | `Us | `Coercions
 type mathViewer_entry =
   [ `About of abouts
   | `Check of string
-  | `Cic of Cic.term * Cic.metasenv
   | `NCic of NCic.term * NCic.context * NCic.metasenv * NCic.substitution
   | `Dir of string
   | `Uri of UriManager.uri