From 39860d00cf24ffe6abcf5d2cc307f6750eded95f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 8 Apr 2025 16:51:36 +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 25fdf595..f9f5a783 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