Dirty patch by Zack: natural numbers of Matita are now pretty-printed as numbers...

[helm.git] / helm / software / components / cic / libraryObjects.mli

diff --git a/helm/software/components/cic/libraryObjects.mli b/helm/software/components/cic/libraryObjects.mli
index 8aacd8da35a3c372058d05f769d4b7646dce8b8a..bb742f1722481b36ca28b5676ea5e467c19ea6e4 100644 (file)
--- a/helm/software/components/cic/libraryObjects.mli
+++ b/helm/software/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
+