--- a/src/HOL/TPTP/TPTP_Parser/make_mlyacclib Tue Sep 10 11:46:51 2013 +0200
+++ b/src/HOL/TPTP/TPTP_Parser/make_mlyacclib Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
#
# make_mlyacclib - Generates Isabelle-friendly version of ML-Yacc's library.
#