diff --git a/ptests/ptests.ml b/ptests/ptests.ml index a7f2b8790e65096904a04fd4d8dddc2bf02fdb8d..74d172f88e461db99ab816cd07f748ac071325b6 100644 --- a/ptests/ptests.ml +++ b/ptests/ptests.ml @@ -932,11 +932,12 @@ end = struct let new_top = List.map (fun command -> - { command with opts= make_custom_opts command.opts s; - logs= command.logs @ current.dc_default_log; - macros= current.dc_macros; - exit_code = current.dc_exit_code; - timeout= current.dc_timeout + { toplevel = current.dc_default_toplevel; + opts= make_custom_opts command.opts s; + logs= command.logs @ current.dc_default_log; + macros= current.dc_macros; + exit_code = current.dc_exit_code; + timeout= current.dc_timeout }) !default_parsing_env.current_default_cmds in