auflia directory missing from regression summary - fixed

diff --git a/test/Makefile.am b/test/Makefile.am
index de8220064bacdf22a6a0767a9c07449a3d8b0415..f9f15035813cd25a8666ce0da894714f8b4add80 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -40,6 +40,7 @@ subdirs_to_check = \
        regress/regress0/bv/core \
        regress/regress0/arrays \
        regress/regress0/aufbv \
+       regress/regress0/auflia \
        regress/regress0/datatypes \
        regress/regress0/quantifiers \
        regress/regress0/rewriterules \