1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 6b9125b18..068eea929 100644
--- a/configure.ac
+++ b/configure.ac
@@ -334,6 +334,7 @@ AC_CONFIG_FILES([
   src/util/Makefile
   src/context/Makefile
   src/parser/Makefile
+  src/parser/smt/Makefile
   src/theory/Makefile
   test/Makefile
   test/regress/Makefile