diff options
Diffstat (limited to 'src/theory/quantifiers/trigger.h')
| -rwxr-xr-x | src/theory/quantifiers/trigger.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers/trigger.h b/src/theory/quantifiers/trigger.h index 6d7bf1f4d..631627331 100755 --- a/src/theory/quantifiers/trigger.h +++ b/src/theory/quantifiers/trigger.h @@ -72,8 +72,6 @@ class Trigger { Currently the trigger should not be a multi-trigger. */ bool getMatch( Node f, Node t, InstMatch& m); - /** add ground term t, called when t is added to the TermDb */ - int addTerm( Node t ); /** return whether this is a multi-trigger */ bool isMultiTrigger() { return d_nodes.size()>1; } /** get inst pattern list */ |