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

diff --git a/matita/components/binaries/probe/matitaList.ml b/matita/components/binaries/probe/matitaList.ml
index 9f66bb6d6..99f6d193e 100644
--- a/matita/components/binaries/probe/matitaList.ml
+++ b/matita/components/binaries/probe/matitaList.ml
@@ -21,7 +21,12 @@ module US = U.UriSet
 module O = Options
 module E = Engine
 
-let src_exists path = !O.no_devel ||  Y.file_exists path
+let is_obj path = 
+   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
 
 let mk_file path =
    if F.check_suffix path "/" then S.sub path 0 (pred (S.length path))
@@ -42,9 +47,7 @@ let add_remove base path =
    O.remove := F.concat base path :: !O.remove
 
 let rec scan_entry base devel path =
-   if F.check_suffix path ".con.ng" then add_obj path else
-   if F.check_suffix path ".ind.ng" then add_obj path else
-   if F.check_suffix path ".var.ng" then add_obj path else 
+   if is_obj path then add_obj path else
    if F.check_suffix path ".ng" then
       if src_exists (F.chop_extension devel ^ ".ma")
       then add_src devel path else add_remove base path