X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaTypes.mli;h=c71c99dcc9adc1eea9ad23a780eca3113baa3ce7;hb=d6082c846d53389e392e90e2a82c4a3036dd1f2d;hp=c2e3f40ed3a87e0633d4ec16d777371972255133;hpb=894c3e4038c93b484896e81132eae55046e47605;p=helm.git

diff --git a/helm/software/matita/matitaTypes.mli b/helm/software/matita/matitaTypes.mli
index c2e3f40ed..c71c99dcc 100644
--- a/helm/software/matita/matitaTypes.mli
+++ b/helm/software/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