X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FlibraryObjects.mli;h=bb742f1722481b36ca28b5676ea5e467c19ea6e4;hb=f79567e3b0abcb508c94b66d69d967c4df83082a;hp=8aacd8da35a3c372058d05f769d4b7646dce8b8a;hpb=8b5e602b86e392d7cc004765547ceba05a35e969;p=helm.git

diff --git a/components/cic/libraryObjects.mli b/components/cic/libraryObjects.mli
index 8aacd8da3..bb742f172 100644
--- a/components/cic/libraryObjects.mli
+++ b/components/cic/libraryObjects.mli
@@ -65,3 +65,5 @@ val true_URI : unit -> UriManager.uri option
 val absurd_URI : unit -> UriManager.uri option
 
 val build_nat : int -> Cic.term
+val destroy_nat : Cic.annterm -> int option
+