Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

examples/python/complex/complex.py

@@ -65,9 +65,6 @@ class ComplexExpr:
     def __neq__(self, other):
         return Not(self.__eq__(other))
 
-    def __pow__(self, k):
-        
-
     def simplify(self):
         return ComplexExpr(simplify(self.r), simplify(self.i))
 

src/shell/main.cpp

@@ -337,6 +337,7 @@ int main(int argc, char ** argv) {
         default:
             UNREACHABLE();
         }
+		memory::finalize();
 #ifdef _WINDOWS
         _CrtDumpMemoryLeaks();
 #endif