From 711c63d026ce7d98724fe945eaf30077f0dad28d Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 11 Jun 2015 16:05:55 +0200
Subject: Handle duplicate operators in sygus grammars.  Parse sygus quoted
 literals. Add regression.

---
 test/regress/regress0/sygus/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/regress/regress0/sygus/Makefile.am b/test/regress/regress0/sygus/Makefile.am
index abf51d992..50f755fef 100644
--- a/test/regress/regress0/sygus/Makefile.am
+++ b/test/regress/regress0/sygus/Makefile.am
@@ -36,7 +36,8 @@ TESTS = commutative.sy \
         twolets2-orig.sy \
         let-ringer.sy \
         let-simp.sy \
-        tl-type.sy
+        tl-type.sy \
+        dup-op.sy
 
 # sygus tests currently taking too long for make regress
 EXTRA_DIST = $(TESTS) \
-- 
cgit v1.2.3