Bugs fixed for stdin and stdout.
[Faustine.git] / interpreter / main.ml
index 2f102f3..3c5ef42 100644 (file)
@@ -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)