Commit 46afd9a1 authored by yb9976's avatar yb9976
Browse files

- clear action obstack after each application on a graph

- call finalize-method on deactivation of the ext/grs plugin

[r20564]
parent 07f42691
......@@ -75,6 +75,7 @@ void be_init_state(void);
void be_init_pbqp(void);
void be_quit_copystat(void);
void be_quit_pbqp(void);
/**
* Driver for module initialization.
......@@ -146,6 +147,9 @@ void be_init_modules(void)
void be_quit_modules(void)
{
be_quit_copystat();
#ifdef FIRM_GRGEN_BE
be_quit_pbqp();
#endif
}
//---------------------------------------------------------------------------
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment