Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / interpreter / main.ml

diff --git a/interpreter/main.ml b/interpreter/main.ml
index 2f102f3..3c5ef42 100644 (file)
--- a/interpreter/main.ml
+++ b/interpreter/main.ml
@@ -35,7 +35,7 @@ let inputs = ref [];;
 let time_max = ref 0xFFFF;;
 let dir_output = ref "";;
 let format_output = ref "csv";;
 let time_max = ref 0xFFFF;;
 let dir_output = ref "";;
 let format_output = ref "csv";;

-let basename_output = ref "output";;
+let basename_output = ref "";;

 let output = ref "";;
 
 let option_usage = "usage: " ^ Sys.argv.(0) 
 let output = ref "";;
 
 let option_usage = "usage: " ^ Sys.argv.(0)