diff options
Diffstat (limited to 'test/regress/regress0/uf/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uf/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am index 54d89aaaa..e288a01d2 100644 --- a/test/regress/regress0/uf/Makefile.am +++ b/test/regress/regress0/uf/Makefile.am @@ -12,6 +12,7 @@ TESTS = \ euf_simp06.smt \ euf_simp08.smt \ euf_simp09.smt \ + euf_simp09.tim.smt \ euf_simp10.smt \ euf_simp11.smt \ euf_simp12.smt \ |