Replace one more /bin/bash by /usr/bin/env bash

mkannwischer · mkannwischer · commit 56ab81ca5f42 · 2025-11-13T09:27:51.000+08:00
Signed-off-by: Matthias J. Kannwischer &lt;matthias@kannwischer.eu&gt;
diff --git a/proofs/cbmc/lib/z3_no_bv_extract b/proofs/cbmc/lib/z3_no_bv_extract
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright (c) The mlkem-native project authors
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/usr/bin/env bash`
`2`	`2`	`# Copyright (c) The mlkem-native project authors`
`3`	`3`	`# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT`
`4`	`4`