diff --git a/ptests/ptests.ml b/ptests/ptests.ml index b98589f11bc1df78bcb3c4425c22ce516dfbb46a..d50104b0c16788387089c3c3609ab2d7915d074d 100644 --- a/ptests/ptests.ml +++ b/ptests/ptests.ml @@ -955,7 +955,7 @@ end = struct match current.dc_filter with | None when s="" -> { current with dc_filter = None } | None -> { current with dc_filter = Some s } - | Some filter -> { current with dc_filter = Some (filter ^ " | " ^ s) }); + | Some filter -> { current with dc_filter = Some (s ^ " | " ^ filter) }); "EXIT", (fun ~drop:_ ~file:_ _ s current -> { current with dc_exit_code = Some s });