Guarding the destruction of the a linux specific variable on WIN32.

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 9278024960e9a6836483e320240e821ee9bf8649..f0cab25fab845304204b0fb7d462c0c8df644f00 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -290,9 +290,11 @@ void cvc4_init() throw(Exception) {
 }
 
 void cvc4_shutdown() throw () {
+#ifndef __WIN32__
   free(cvc4StackBase);
   cvc4StackBase = NULL;
   cvc4StackSize = 0;
+#endif /* __WIN32__ */
 }
 
 }/* CVC4::main namespace */