Bugs fixed for stdin and stdout.

[Faustine.git] / interpreter / main.ml

diff --git a/interpreter/main.ml b/interpreter/main.ml
index 2f102f35b283eb36744047d8edd20f05da9081ea..3c5ef42ea467c02118bace02ec1d5b4d4f0ec636 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 basename_output = ref "output";;
+let basename_output = ref "";;
 let output = ref "";;
 
 let option_usage = "usage: " ^ Sys.argv.(0)