X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaTypes.mli;h=c71c99dcc9adc1eea9ad23a780eca3113baa3ce7;hb=1c15a49fe355372d4b256f26841fdf535d70b6d4;hp=c2e3f40ed3a87e0633d4ec16d777371972255133;hpb=26bd030af58a7f4a5dff3c41ad5431e31e851d3e;p=helm.git

diff --git a/matita/matitaTypes.mli b/matita/matitaTypes.mli
index c2e3f40ed..c71c99dcc 100644
--- a/matita/matitaTypes.mli
+++ b/matita/matitaTypes.mli
@@ -25,7 +25,7 @@
 
 exception Cancel
 
-type abouts = [ `Blank | `Current_proof | `Us | `Coercions]
+type abouts = [ `Blank | `Current_proof | `Us | `Coercions | `CoercionsFull]
 
 type mathViewer_entry =
   [ `About of abouts