Modified filtering function

[helm.git] / helm / ocaml / tactics / newConstraints.mli

diff --git a/helm/ocaml/tactics/newConstraints.mli b/helm/ocaml/tactics/newConstraints.mli
index d81c66fb03080f4d95c329cc0414e92099710cb2..52c2d7169668ccd52a0422c71910a30c30e1eb85 100644 (file)
--- a/helm/ocaml/tactics/newConstraints.mli
+++ b/helm/ocaml/tactics/newConstraints.mli
@@ -58,3 +58,4 @@ val constants_concl : Cic.term -> StringSet.t
 
 val pp_prefixes : ((int * (StringSet.elt list)) list) -> string
 
+val mainandcons : Cic.term -> (string *  StringSet.t)