From 594301e6f2893ebe9baba5083ff084933b1e9da9 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 15 Mar 2017 16:28:55 -0500
Subject: [PATCH] Fix regress1 Makefile for rewriterules, fixes bug 783.

---
 test/regress/regress1/rewriterules/Makefile.am | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/regress/regress1/rewriterules/Makefile.am b/test/regress/regress1/rewriterules/Makefile.am
index b0fdcbee6..a5a045d2e 100644
--- a/test/regress/regress1/rewriterules/Makefile.am
+++ b/test/regress/regress1/rewriterules/Makefile.am
@@ -13,6 +13,11 @@ TESTS_ENVIRONMENT = \
 	$(AM_LOG_FLAGS) $(LOG_FLAGS)
 endif
 
+override CVC4_REGRESSION_ARGS += --rewrite-rules
+export CVC4_REGRESSION_ARGS
+
+MAKEFLAGS = -k
+
 # These are run for all build profiles.
 # If a test shouldn't be run in e.g. competition mode,
 # put it below in "TESTS +="
-- 
2.30.2