* Shut up a warning.
This commit is contained in:
parent
1b804f88e4
commit
1bdc152931
1 changed files with 1 additions and 0 deletions
|
@ -66,6 +66,7 @@ string showPos(ATerm pos);
|
|||
function to the resulting term. */
|
||||
struct TermFun
|
||||
{
|
||||
virtual ~TermFun() { }
|
||||
virtual ATerm operator () (ATerm e) = 0;
|
||||
};
|
||||
ATerm bottomupRewrite(TermFun & f, ATerm e);
|
||||
|
|
Loading…
Reference in a new issue