From ee5b5960db8dfca2887a9443883c3351749e8922 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 8 Apr 2025 17:20:05 +0200
Subject: [PATCH] make coq-lint nix-compatible

---
 coq-lint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-lint.sh b/coq-lint.sh
index f80f90ae..5ad1f4fa 100755
--- a/coq-lint.sh
+++ b/coq-lint.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 set -e
 ## A simple shell script checking for some common Coq issues.
 
-- 
GitLab