From a11573cc35202e579c46cd6da478e89321840482 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Fri, 4 Dec 2009 04:22:02 +0000
Subject: [PATCH] More changes to configure.ac to include the smt grammar
 directory. The parser refuses to be built in the new separate directory
 structure though.

---
 configure.ac | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2