From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sat, 18 Mar 2017 23:20:56 +0000 (-0700)
Subject: Fix for bug 707.
X-Git-Tag: cvc5-1.0.0~5881
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f42b2d1ba3ed74b7d3c184a59c5416f584aa536;p=cvc5.git

Fix for bug 707.
---

diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index 4717b611d..963e297b4 100755
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkexpr
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
diff --git a/src/expr/mkkind b/src/expr/mkkind
index d54aa3a83..271c8bc7a 100755
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkkind
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind
index 5f003dcfb..3e06a88a5 100755
--- a/src/expr/mkmetakind
+++ b/src/expr/mkmetakind
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkmetakind
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
diff --git a/src/main/util.cpp b/src/main/util.cpp
index e14b508de..d4c00cad2 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -230,7 +230,7 @@ void cvc4_init() throw(Exception) {
 
 #ifndef __WIN32__
   stack_t ss;
-  ss.ss_sp = malloc(SIGSTKSZ);
+  ss.ss_sp = (char*) malloc(SIGSTKSZ);
   if(ss.ss_sp == NULL) {
     throw Exception("Can't malloc() space for a signal stack");
   }
diff --git a/src/theory/mkrewriter b/src/theory/mkrewriter
index 5db2e970d..ba623956f 100755
--- a/src/theory/mkrewriter
+++ b/src/theory/mkrewriter
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkrewriter
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits
index 9107eb72d..983cfade4 100755
--- a/src/theory/mktheorytraits
+++ b/src/theory/mktheorytraits
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mktheorytraits
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4