diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 278632a90..af2d0b782 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -116,8 +116,6 @@ libcvc4_add_sources( printer/printer.h printer/smt2/smt2_printer.cpp printer/smt2/smt2_printer.h - printer/sygus_print_callback.cpp - printer/sygus_print_callback.h printer/tptp/tptp_printer.cpp printer/tptp/tptp_printer.h proof/arith_proof.cpp @@ -987,7 +985,6 @@ install(FILES DESTINATION ${INCLUDE_INSTALL_DIR}/cvc4/parser) install(FILES - printer/sygus_print_callback.h DESTINATION ${INCLUDE_INSTALL_DIR}/cvc4/printer) install(FILES |