1 files changed, 1 insertions, 1 deletions

diff --git a/mpfrlint b/mpfrlint
index 1485558fb..5dd5fc503 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # Check possible problems in the MPFR source.