diff options
Diffstat (limited to 'src/main/interactive_shell.cpp')
-rw-r--r-- | src/main/interactive_shell.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index f99eef4a1..dc9d0604d 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: cconway ** Major contributors: none - ** Minor contributors (to current version): none + ** Minor contributors (to current version): mdeters ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences @@ -40,7 +40,7 @@ InteractiveShell::InteractiveShell(ExprManager& exprManager, ParserBuilder parserBuilder(exprManager,INPUT_FILENAME,options); /* Create parser with bogus input. */ d_parser = parserBuilder.withStringInput("").build(); -} +}/* InteractiveShell::InteractiveShell() */ Command* InteractiveShell::readCommand() { @@ -139,6 +139,7 @@ Command* InteractiveShell::readCommand() { // d_lastParser = parser; return cmd_seq; -} +}/* InteractiveShell::readCommand() */ + +}/* CVC4 namespace */ -} // CVC4 namespace |