X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralClassify.mli;h=fed7d9db7b42996a717a85dc92d1c747f3eb25fc;hb=d17a38ddca548c784e9efa7c55e87c80203b024d;hp=d4662764e850a2312116a52427fe5a2c44fd1404;hpb=b378b7f4f2a3a897c4b69f44d4d1d54cc4d0aa56;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralClassify.mli b/helm/software/components/acic_procedural/proceduralClassify.mli
index d4662764e..fed7d9db7 100644
--- a/helm/software/components/acic_procedural/proceduralClassify.mli
+++ b/helm/software/components/acic_procedural/proceduralClassify.mli
@@ -33,4 +33,4 @@ val classify: Cic.context -> Cic.term -> dependences * conclusion
 
 val adjust: Cic.context -> Cic.annterm list -> ?goal:Cic.term -> dependences -> dependences
 
-val to_string: dependences * conclusion -> string
+val to_string: CicInspect.S.t -> dependences * conclusion -> string