- probe: critical bug fixed (all objects were deleted due to wrong test)

[helm.git] / matita / components / binaries / probe / matitaList.ml

diff --git a/matita/components/binaries/probe/matitaList.ml b/matita/components/binaries/probe/matitaList.ml
index 99f6d193ed4fba32a4e692433ab670de407b6074..9f6248c0fcf39c4f540d291627eb3044624607d1 100644 (file)
--- a/matita/components/binaries/probe/matitaList.ml
+++ b/matita/components/binaries/probe/matitaList.ml
@@ -22,8 +22,8 @@ module O = Options
 module E = Engine
 
 let is_obj path = 
-   F.check_suffix path ".con.ng" &
-   F.check_suffix path ".ind.ng" &
+   F.check_suffix path ".con.ng" ||
+   F.check_suffix path ".ind.ng" ||
    F.check_suffix path ".var.ng"
   
 let src_exists path = !O.no_devel || Y.file_exists path