diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 18:16:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 16:11:24 -0400 |
commit | b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4 (patch) | |
tree | d4aa8da10c6ad99c46d7f8c1fd824f2d7566ef4e /src/theory/output_channel.h | |
parent | cba10a096d97e82bd112b4d99a6ebe399d1369d6 (diff) |
Merging some cleanup work:
* Comment cleanup
* Spelling fixes
* Fix warnings
* Documentation updates
* References in docs to cryptominisat removed
* Unneeded scope resolutions removed
* Old, unused regression removed
Diffstat (limited to 'src/theory/output_channel.h')
-rw-r--r-- | src/theory/output_channel.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h index 2ea92635e..ca22f29b6 100644 --- a/src/theory/output_channel.h +++ b/src/theory/output_channel.h @@ -208,12 +208,13 @@ public: */ virtual void spendResource() throw() {} - /** Handle user attribute - * Associates theory t with the attribute attr. Theory t will be - * notifed whenever an attribute of name attr is set on a node. - * This can happen through, for example, the SMT LIB v2 language. - */ - virtual void handleUserAttribute( const char* attr, Theory* t ){} + /** + * Handle user attribute. + * Associates theory t with the attribute attr. Theory t will be + * notified whenever an attribute of name attr is set on a node. + * This can happen through, for example, the SMT-LIBv2 language. + */ + virtual void handleUserAttribute(const char* attr, Theory* t) {} };/* class OutputChannel */ |