X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralPreprocess.mli;fp=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralPreprocess.mli;h=6d66bf23732b2e83575826dd8f929cb10383a443;hb=acc9067d3263ffced81c52539f918d47d418d5c7;hp=7bd55f4e221fd09b0dd5f9187fb41b56f875188a;hpb=0ec069491a2e870c95e095e15d8c54c76a17bc80;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralPreprocess.mli b/helm/software/components/acic_procedural/proceduralPreprocess.mli
index 7bd55f4e2..6d66bf237 100644
--- a/helm/software/components/acic_procedural/proceduralPreprocess.mli
+++ b/helm/software/components/acic_procedural/proceduralPreprocess.mli
@@ -23,6 +23,4 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val split: Cic.context -> Cic.term -> Cic.term list * int
-
 val pp_obj: Cic.obj -> Cic.obj