Fix regression (#4424)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 1 May 2020 00:59:45 +0000 (19:59 -0500)
committerGitHub <noreply@github.com>
Fri, 1 May 2020 00:59:45 +0000 (17:59 -0700)
commit2799fd28155ef85aba68c90bc65fe52f529cdd7e
tree973891a4aa8281cf61ee03af2051db1935ae345f
parent0c402c2b3cc036748c83bd75629e9845f9b5a397
Fix regression (#4424)

Fixes regress1.
test/regress/regress1/strings/pre_ctn_no_skolem_share.smt2