diff options
author | Caleb Donovick <cdonovick@users.noreply.github.com> | 2018-05-21 08:29:14 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-21 18:29:14 +0300 |
commit | 030480e368b0373e09aa89f68f8ae916b7fccd1b (patch) | |
tree | 4889fe6a39b0e6328f35de46e9c34b9c6b8b93d3 /test/regress/regress0 | |
parent | d3e6165f3766d20e21a5e2c206919aac3a24df3c (diff) |
Fix file extension (#1919)
* Fix file extension
* Update Makefile
Diffstat (limited to 'test/regress/regress0')
-rw-r--r-- | test/regress/regress0/sygus/sygus-uf.sy (renamed from test/regress/regress0/sygus/sygus-uf.sl) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/regress/regress0/sygus/sygus-uf.sl b/test/regress/regress0/sygus/sygus-uf.sy index 95cd8771e..95cd8771e 100644 --- a/test/regress/regress0/sygus/sygus-uf.sl +++ b/test/regress/regress0/sygus/sygus-uf.sy |