X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c55d1f23d06e85b0e21cdf5cbc5c8efb6ac3bc1a..8d0f7daae8a3ec7cda6d4a74c4c819d5ece97a8b:/interpreter/main.ml diff --git a/interpreter/main.ml b/interpreter/main.ml index 2f102f3..3c5ef42 100644 --- 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)