X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Finversion_principle.mli;h=5ceec20a49a192c08af5a8290b4af1a20e4f8407;hb=da3031c3a830df0aaab4f57b63689a1b20d7ab89;hp=30335ed6cb38cc0509f0071b1ab4f0788f0726a2;hpb=84e6cbe962c9a534be48542c098d7bb0d90be9a1;p=helm.git

diff --git a/helm/software/components/tactics/inversion_principle.mli b/helm/software/components/tactics/inversion_principle.mli
index 30335ed6c..5ceec20a4 100644
--- a/helm/software/components/tactics/inversion_principle.mli
+++ b/helm/software/components/tactics/inversion_principle.mli
@@ -25,3 +25,6 @@
 
 (* $Id: primitiveTactics.ml 9014 2008-09-26 08:03:47Z tassi $ *)
 val init: unit -> unit
+val build_inverter: add_obj:(UriManager.uri -> Cic.obj -> 'b -> 'b * UriManager.uri list) ->
+                    'b -> UriManager.uri -> UriManager.uri -> bool list -> 
+                    'b * UriManager.uri list