From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 28 Nov 2005 12:59:23 +0000 (+0000)
Subject: added comment
X-Git-Tag: make_still_working~8077
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=33581c2ba6d8414968f4d3375352526ebf831a68;p=helm.git

added comment
---

diff --git a/helm/matita/matitaDb.mli b/helm/matita/matitaDb.mli
index 0d5811eba..39aa7c079 100644
--- a/helm/matita/matitaDb.mli
+++ b/helm/matita/matitaDb.mli
@@ -28,5 +28,7 @@ val instance: unit -> HMysql.dbd
 val create_owner_environment: unit -> unit
 val clean_owner_environment: unit -> unit
 
+(* returns a list of uri thet must be removed sice they reference uri,
+ * but this is used only for debugging purposes *)
 val remove_uri: UriManager.uri -> string list
 val xpointers_of_ind: UriManager.uri -> UriManager.uri list