From a25b07cd09b7723009acf4e95fe6575bac553fff Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 11 Feb 2012 21:57:14 +0000
Subject: [PATCH] ensure using bash for new-theory script

---
 contrib/new-theory | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/new-theory b/contrib/new-theory
index 6488eaec9..0045e7b41 100755
--- a/contrib/new-theory
+++ b/contrib/new-theory
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # usage: new-theory theory-directory-name
 #
-- 
2.30.2