[BUGFIX] Reclaiming the memory allocated for static objects *is* necessary.

[ginac.git] / ginac / function.pl

diff --git a/ginac/function.pl b/ginac/function.pl
index 3e447354d814d87c1a04e71f2f71e99c4e6106e3..7a4d5e78cbc25fb4431f7807f9b424cd9bb6edd0 100644 (file)
--- a/ginac/function.pl
+++ b/ginac/function.pl
@@ -1330,8 +1330,8 @@ ${power_switch_statement}
 
 std::vector<function_options> & function::registered_functions()
 {
-       static std::vector<function_options> * rf = new std::vector<function_options>;
-       return *rf;
+       static std::vector<function_options> rf = std::vector<function_options>();
+       return rf;
 }
 
 bool function::lookup_remember_table(ex & result) const