Refactor nlExtPurify preprocessing pass (#1963)

[cvc5.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 3b8a12fa501ebce9be529d0fdaf4b7a6e5833ea6..d399602cbda6ae5fb8c6d6df012f231f86001b0e 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -85,6 +85,8 @@ libcvc4_la_SOURCES = \
        preprocessing/passes/ite_removal.h \
        preprocessing/passes/ite_simp.cpp \
        preprocessing/passes/ite_simp.h \
+       preprocessing/passes/nl_ext_purify.cpp \
+       preprocessing/passes/nl_ext_purify.h \
        preprocessing/passes/pseudo_boolean_processor.cpp \
        preprocessing/passes/pseudo_boolean_processor.h \
        preprocessing/passes/bool_to_bv.cpp \