Update tests/script-based-pre/playback_print/playback_print.sh

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
model-checking · Nov 2, 2023 · 76957eb · 76957eb
1 parent 54db850
commit 76957eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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