matitaclean anapshot

[helm.git] / helm / matita / matitaDb.ml

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 423fa2b5a0b7ddba659d8f9c742f2ef2eda47283..c5bdbf84befc7dcbf595ed0a5d633b348108acea 100644 (file)
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -112,7 +112,7 @@ let create_owner_environment () =
 (* removes uri from the ownerized tables, and returns the list of other objects
  * (theyr uris) that ref the one removed. 
  * AFAIK there is no need to return it, since the MatitaTypes.staus should
- * contain all defined objects. but to double ckeck we do not garbage the
+ * contain all defined objects. but to double check we do not garbage the
  * metadata...
  *)
 let remove_uri uri =