X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Foptions.ml;h=24608872780b3f5615b1d4d46e73c55bfdba58a1;hb=243d091f23f8338e155cdde14969a6043b8c89af;hp=e243241d0878584eb4fc87496ec8c182fc3d4419;hpb=7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960;p=helm.git

diff --git a/matita/components/binaries/probe/options.ml b/matita/components/binaries/probe/options.ml
index e243241d0..246088727 100644
--- a/matita/components/binaries/probe/options.ml
+++ b/matita/components/binaries/probe/options.ml
@@ -9,9 +9,11 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-let default_objs = []
+module US = NUri.UriSet
 
-let default_srcs = []
+let default_objs = US.empty
+
+let default_srcs = US.empty
 
 let default_exclude = []
 
@@ -25,6 +27,8 @@ let exclude = ref default_exclude
 
 let net = ref default_net
 
+let no_devel = ref true
+
 let clear () =
    objs := default_objs; srcs := default_srcs;
    exclude := default_exclude; net := default_net