- cicInspect: relevant nodes count updated: letin nodes are not relevant

[helm.git] / helm / software / components / acic_procedural / proceduralClassify.mli

diff --git a/helm/software/components/acic_procedural/proceduralClassify.mli b/helm/software/components/acic_procedural/proceduralClassify.mli
index d4662764e850a2312116a52427fe5a2c44fd1404..fed7d9db7b42996a717a85dc92d1c747f3eb25fc 100644 (file)
--- 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