diff options
Diffstat (limited to 'src/printer/printer.h')
| -rw-r--r-- | src/printer/printer.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index 74eb8970b..2a9283001 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -200,6 +200,9 @@ class Printer Node conj, TypeNode sygusType) const; + /** Print get-interpol-next command */ + virtual void toStreamCmdGetInterpolNext(std::ostream& out) const; + /** Print get-abduct command */ virtual void toStreamCmdGetAbduct(std::ostream& out, const std::string& name, |