From 76957ebd15fe43c4a49a26a4c9b54acae0cda268 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 2 Nov 2023 10:48:31 -0700 Subject: [PATCH] Update tests/script-based-pre/playback_print/playback_print.sh Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> --- tests/script-based-pre/playback_print/playback_print.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/script-based-pre/playback_print/playback_print.sh b/tests/script-based-pre/playback_print/playback_print.sh index abcade64a218..d8acddb14285 100755 --- a/tests/script-based-pre/playback_print/playback_print.sh +++ b/tests/script-based-pre/playback_print/playback_print.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash # Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT -# Test that concrete playback -Z concrete-playback does not override std print -# functions + +# Test that concrete playback does not override std print functions set -o nounset