From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 11 Feb 2012 21:57:14 +0000 (+0000)
Subject: ensure using bash for new-theory script
X-Git-Tag: cvc5-1.0.0~8334
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a25b07cd09b7723009acf4e95fe6575bac553fff;p=cvc5.git

ensure using bash for new-theory script
---

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
 #