Commit a072aedb authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Fix a bug with --delay-env-out option: the rif file was wrong (luciole outputs...

Fix a bug with --delay-env-out option: the rif file was wrong (luciole outputs were appearinf twice).
parent 99ee9b44
...@@ -257,7 +257,7 @@ let (f : unit -> int) = ...@@ -257,7 +257,7 @@ let (f : unit -> int) =
Printf.fprintf oc "#step %d\n" i; Printf.fprintf oc "#step %d\n" i;
if args.delay_env_outputs then if args.delay_env_outputs then
output_string oc (String.concat " " (List.map print_val (luciole_outs@pre_env_out_vals))) output_string oc (String.concat " " (List.map print_val (pre_env_out_vals)))
else else
output_string oc (String.concat " " (List.map print_val env_out_vals)); output_string oc (String.concat " " (List.map print_val env_out_vals));
output_string oc (if env_out_vals <> [] then " #outs " else "#outs "); output_string oc (if env_out_vals <> [] then " #outs " else "#outs ");
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment