1 files changed, 7 insertions, 1 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp
index 3b7c6b95a..927802496 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -249,7 +249,7 @@ void cvc4_init() throw(Exception) {
     }
   }
   cvc4StackSize = limit.rlim_cur;
-  cvc4StackBase = &ss;
+  cvc4StackBase = ss.ss_sp;
 
   struct sigaction act1;
   act1.sa_sigaction = sigint_handler;
@@ -289,5 +289,11 @@ void cvc4_init() throw(Exception) {
   default_terminator = set_terminate(cvc4terminate);
 }
 
+void cvc4_shutdown() throw () {
+  free(cvc4StackBase);
+  cvc4StackBase = NULL;
+  cvc4StackSize = 0;
+}
+
 }/* CVC4::main namespace */
 }/* CVC4 namespace */