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/Makefile.am | |
| 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/Makefile.am')
| -rw-r--r-- | src/main/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 9b0200231..2a1ce0d55 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -20,8 +20,10 @@ pcvc4_SOURCES = \ portfolio.cpp \ portfolio.h \ portfolio_util.cpp \ - command_executer.cpp \ - command_executer_portfolio.cpp \ + command_executor.cpp \ + command_executor_portfolio.cpp \ + command_executor.h \ + command_executor_portfolio.h \ driver_unified.cpp pcvc4_LDADD = \ libmain.a \ @@ -42,7 +44,7 @@ endif cvc4_SOURCES = \ main.cpp \ - command_executer.cpp \ + command_executor.cpp \ driver_unified.cpp cvc4_LDADD = \ libmain.a \ |