X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c55d1f23d06e85b0e21cdf5cbc5c8efb6ac3bc1a..e3449439410ee92986e5ef95fc933813dfa6c67b:/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)