From 269dacb4b06f6dae5c220dc70a1f1e67728d1f62 Mon Sep 17 00:00:00 2001 From: Tim King Date: Sat, 28 Nov 2015 00:28:43 -0500 Subject: [PATCH] Guarding the destruction of the a linux specific variable on WIN32. --- src/main/util.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/main/util.cpp b/src/main/util.cpp index 927802496..f0cab25fa 100644 --- 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 */ -- 2.30.2