X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_engine%2FnCicCoercDeclaration.mli;h=0f93d19b20d37e9e955801945ddf63b96be9f1ff;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=66e3a561b33ca5c65dc1f69b0ef6f26f5b7b80aa;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/grafite_engine/nCicCoercDeclaration.mli b/matita/components/grafite_engine/nCicCoercDeclaration.mli
index 66e3a561b..0f93d19b2 100644
--- a/matita/components/grafite_engine/nCicCoercDeclaration.mli
+++ b/matita/components/grafite_engine/nCicCoercDeclaration.mli
@@ -12,7 +12,7 @@
 
 (* evals a coercion declaration statement: name compose t ty (id,src) tgt *)
 val eval_ncoercion: 
-   #GrafiteTypes.status as 'status ->
+   (#GrafiteTypes.status as 'status) ->
      string ->
      bool ->
      NotationPt.term ->
@@ -24,6 +24,6 @@ val eval_ncoercion:
  * first integer is the number of left params and the second integer is 
  * the arity in the `:arity>` syntax *)
 val basic_eval_and_record_ncoercion_from_t_cpos_arity: 
-   #GrafiteTypes.status as 'status ->
+   (#GrafiteTypes.status as 'status) ->
      string * bool * NCic.term * int * int -> 'status * NUri.uri list