diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-24 00:18:23 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-24 00:18:23 -0700 |
commit | ecafdf215735ad9d8257dc44064f2479502d348b (patch) | |
tree | 9d626cf349c9b3ac00b709d6ef5a2bfe44a250ae /test/regress | |
parent | feea2d248ebe0c024c9c5ed14a9f0bf34b06c146 (diff) |
Fix CVC4_EXTRAVERSION variable
When I created the PR for 733083c3bb6700b70ff31c3a679d519f493b680f, it
did not contain the change from `"" -> "-prerelease"` because at the
time `master` still had `CVC4_EXTRAVERSION` set to `"-prerelease"`. This
commit fixes `CVC4_EXTRAVERSION`.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions