X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2FmatitaList.ml;h=9f6248c0fcf39c4f540d291627eb3044624607d1;hb=ebc33b6d5b68400bc8411973ed4c9ed50d0c52a6;hp=99f6d193ed4fba32a4e692433ab670de407b6074;hpb=65008df95049eb835941ffea1aa682c9253c4c2b;p=helm.git

diff --git a/matita/components/binaries/probe/matitaList.ml b/matita/components/binaries/probe/matitaList.ml
index 99f6d193e..9f6248c0f 100644
--- 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