X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fgrafite_engine%2FnCicCoercDeclaration.mli;h=11119fe82e4ad2f70485c8f0bba7f90d0e44baa9;hb=9aa2722ff4aa7868ffd14e5a820cd6dc79e2c8a6;hp=9bca1143d3fdb4315be5bd1d5d7f763193cb9ee3;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/grafite_engine/nCicCoercDeclaration.mli b/matitaB/components/grafite_engine/nCicCoercDeclaration.mli
index 9bca1143d..11119fe82 100644
--- a/matitaB/components/grafite_engine/nCicCoercDeclaration.mli
+++ b/matitaB/components/grafite_engine/nCicCoercDeclaration.mli
@@ -14,6 +14,7 @@
 val eval_ncoercion: 
    #GrafiteTypes.status as 'status ->
      string ->
+     bool ->
      NotationPt.term ->
      NotationPt.term ->
      string * NotationPt.term ->
@@ -24,5 +25,5 @@ val eval_ncoercion:
  * the arity in the `:arity>` syntax *)
 val basic_eval_and_record_ncoercion_from_t_cpos_arity: 
    #GrafiteTypes.status as 'status ->
-     string * NCic.term * int * int -> 'status * NUri.uri list
+     string * bool * NCic.term * int * int -> 'status * NUri.uri list