X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Ftactics%2FnewConstraints.mli;h=52c2d7169668ccd52a0422c71910a30c30e1eb85;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=d81c66fb03080f4d95c329cc0414e92099710cb2;hpb=6150b8ef905aaea17b47ff466c067054f976cd8f;p=helm.git

diff --git a/helm/ocaml/tactics/newConstraints.mli b/helm/ocaml/tactics/newConstraints.mli
index d81c66fb0..52c2d7169 100644
--- 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)