From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 18 Dec 2013 16:09:41 +0000 (-0500)
Subject: Add missing regression-results directory.
X-Git-Tag: cvc5-1.0.0~6987^2~27
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afde8f8570dce4431c28ba6e8cbd69361d656374;p=cvc5.git

Add missing regression-results directory.
---

diff --git a/test/Makefile.am b/test/Makefile.am
index 104d40ab1..8a7a5a0a7 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -57,6 +57,7 @@ subdirs_to_check = \
 	regress/regress0/fmf \
 	regress/regress0/strings \
 	regress/regress1 \
+	regress/regress1/arith \
 	regress/regress2 \
 	regress/regress3