diff --git a/examples/python/complex/complex.py b/examples/python/complex/complex.py index d90c01e93..a2de4a6cc 100644 --- a/examples/python/complex/complex.py +++ b/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)) diff --git a/src/shell/main.cpp b/src/shell/main.cpp index d84c88366..7769b1a27 100644 --- a/src/shell/main.cpp +++ b/src/shell/main.cpp @@ -337,6 +337,7 @@ int main(int argc, char ** argv) { default: UNREACHABLE(); } + memory::finalize(); #ifdef _WINDOWS _CrtDumpMemoryLeaks(); #endif