X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCic.ml;h=ebf6f8ef5139779ecc517e0fb9ee83568c14880e;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=03672a0c46c2d9c446fb4a6b5075b6c226b239d0;hpb=6c15dd2d7c372dc163c24e96bf56376c5bcb5a6c;p=helm.git

diff --git a/matita/components/ng_kernel/nCic.ml b/matita/components/ng_kernel/nCic.ml
index 03672a0c4..ebf6f8ef5 100644
--- a/matita/components/ng_kernel/nCic.ml
+++ b/matita/components/ng_kernel/nCic.ml
@@ -105,7 +105,7 @@ type ind_pragma = (* pragmatic of the object *)
    * fields names and if they are coercions and then the coercion arity *)
 
 type source = [ `Generated (* generated by matita *)
-              | `Provided  (* provided by the user directly or from another ITP *)
+              | `Provided  (* provided as defined by the user *)
               | `Implied   (* provided as generated by another ITP *)
               ]