From 7f885c4e79501827e70fe14683152af85c5f8bfd Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 8 Oct 2014 18:52:02 -0400 Subject: Some minor cleanup. --- src/main/command_executor_portfolio.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main/command_executor_portfolio.cpp') diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index 7d35a443a..6e10c9a8a 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -11,7 +11,7 @@ ** ** \brief An additional layer between commands and invoking them. ** - ** The portfolio executer branches check-sat queries to several + ** The portfolio executor branches check-sat queries to several ** threads. **/ -- cgit v1.2.3