diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
commit | 480d440174c565bec9aba412c0d35221c9169ff6 (patch) | |
tree | 12048b5ba5d9717d6770b5d89de23d9c7048a981 /src/main/portfolio_util.h | |
parent | cfa9e2cbbdf77a325791b5548b41093a0781311c (diff) |
Some minor changes after reviewing the portfolio "unified driver" commit.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main/portfolio_util.h')
-rw-r--r-- | src/main/portfolio_util.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h index eed993b9f..1955a29a7 100644 --- a/src/main/portfolio_util.h +++ b/src/main/portfolio_util.h @@ -14,8 +14,8 @@ ** \brief Code relevant only for portfolio builds **/ -#ifndef __CVC4_PORTFOLIO_UTIL_H -#define __CVC4_PORTFOLIO_UTIL_H +#ifndef __CVC4__PORTFOLIO_UTIL_H +#define __CVC4__PORTFOLIO_UTIL_H #include <queue> @@ -37,7 +37,7 @@ public: T pop() { return T(); } bool empty() { return true; } bool full() { return false; } -}; +};/* class EmptySharedChannel */ class PortfolioLemmaOutputChannel : public LemmaOutputChannel { private: @@ -202,8 +202,8 @@ void sharingManager(unsigned numThreads, } Trace("sharing") << "sharing: Interrupted, exiting." << std::endl; -} +}/* sharingManager() */ -}/*CVC4 namespace*/ +}/* CVC4 namespace */ -#endif /* __CVC4_PORTFOLIO_UTIL_H */ +#endif /* __CVC4__PORTFOLIO_UTIL_H */ |