X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Foptions.ml;h=21ebec1d930eea80ef593485a26811f50b18deb5;hb=5a81feec7b8c07a43e96d772431e06bad177ed8c;hp=ce1c88867b37f1aaaa4687f3ed7c7312bcf6a492;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/options.ml b/helm/www/lambdadelta/bin/xhtbl/options.ml
index ce1c88867..21ebec1d9 100644
--- a/helm/www/lambdadelta/bin/xhtbl/options.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/options.ml
@@ -1,5 +1,7 @@
 let output_dir_default = ""
 
+let baseuri_default = ""
+
 let debug_lexer_default = false
 
 let debug_pass_default = false
@@ -8,6 +10,8 @@ let pass_default = false
 
 let output_dir = ref output_dir_default
 
+let baseuri = ref baseuri_default
+
 let debug_lexer = ref debug_lexer_default
 
 let d0 = ref debug_pass_default
@@ -28,6 +32,7 @@ let p2 = ref pass_default
 
 let clear () =
    output_dir := output_dir_default;
+   baseuri := baseuri_default;
    debug_lexer := debug_lexer_default;
    d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default; 
    e1 := debug_pass_default; e2 := debug_pass_default;