From f3f4cb00820bf8ceed0337ab3392e841becd64f7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Jan 2008 13:51:04 +0000 Subject: [PATCH] removed useless assertion --- helm/software/matita/matitacLib.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml index ec5618684..c85d2c6bf 100644 --- a/helm/software/matita/matitacLib.ml +++ b/helm/software/matita/matitacLib.ml @@ -138,8 +138,7 @@ let compile options fname = then begin HLog.message ("baseuri " ^ baseuri ^ " is not empty"); HLog.message ("cleaning baseuri " ^ baseuri); - LibraryClean.clean_baseuris [baseuri]; - assert (Http_getter_storage.is_empty ~local:true baseuri); + LibraryClean.clean_baseuris [baseuri] end; (* create dir for XML files *) if not (Helm_registry.get_opt_default Helm_registry.bool "matita.nodisk" -- 2.39.2