diff options
Diffstat (limited to 'src/smt/node_command.cpp')
| -rw-r--r-- | src/smt/node_command.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/node_command.cpp b/src/smt/node_command.cpp index eb2493c87..91184d27d 100644 --- a/src/smt/node_command.cpp +++ b/src/smt/node_command.cpp @@ -104,8 +104,7 @@ void DeclareTypeNodeCommand::toStream(std::ostream& out, size_t dag, OutputLanguage language) const { - Printer::getPrinter(language)->toStreamCmdDeclareType( - out, d_id, d_arity, d_type); + Printer::getPrinter(language)->toStreamCmdDeclareType(out, d_type); } NodeCommand* DeclareTypeNodeCommand::clone() const |