diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-20 07:52:00 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-20 07:52:00 -0500 |
commit | 0971aa005c33fb1aaa18ed4522e25d89bb909238 (patch) | |
tree | 244bb4e0874541abaac9ede3839cd58784d760db /test/regress/regress2/Makefile.am | |
parent | d77107cc56b0a089364c3d1512813701c155ea93 (diff) |
Fix bug 812.
Diffstat (limited to 'test/regress/regress2/Makefile.am')
-rw-r--r-- | test/regress/regress2/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am index c47d5840c..72c66a0b9 100644 --- a/test/regress/regress2/Makefile.am +++ b/test/regress/regress2/Makefile.am @@ -43,8 +43,9 @@ TESTS = bug136.smt \ FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2 \ xs-09-16-3-4-1-5.smt \ xs-09-16-3-4-1-5.decn.smt \ - uflia-error0.smt2 - + uflia-error0.smt2 \ + bug812.smt2 + EXTRA_DIST = $(TESTS) \ FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2.expect \ uflia-error0.smt2.expect \ |