From b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 20 Mar 2013 18:16:26 -0400 Subject: 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 --- src/theory/output_channel.h | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'src/theory/output_channel.h') 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 */ -- cgit v1.2.3