ensure using bash for new-theory script

diff --git a/contrib/new-theory b/contrib/new-theory
index 6488eaec990d89aa0f373fb3afcda3a2770583a2..0045e7b418021e56b42caf0b7e62e587da96265c 100755 (executable)
--- a/contrib/new-theory
+++ b/contrib/new-theory
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # usage: new-theory theory-directory-name
 #