diff options
Diffstat (limited to 'src/printer/Makefile.am')
| -rw-r--r-- | src/printer/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/printer/Makefile.am b/src/printer/Makefile.am index 3f0eba12d..21b88d4be 100644 --- a/src/printer/Makefile.am +++ b/src/printer/Makefile.am @@ -6,9 +6,10 @@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) noinst_LTLIBRARIES = libprinter.la libprinter_la_SOURCES = \ - dagification_visitor.h \ printer.h \ printer.cpp \ + dagification_visitor.h \ + dagification_visitor.cpp \ ast/ast_printer.h \ ast/ast_printer.cpp \ smt/smt_printer.h \ |