Fix (#1979)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 25 May 2018 00:55:47 +0000 (19:55 -0500)
committerGitHub <noreply@github.com>
Fri, 25 May 2018 00:55:47 +0000 (19:55 -0500)
commit1589592be3c93ab2c3d42b9875535f950fe6b982
tree172095271a1fefec7081ed10813cb07ba0f25df1
parentce4493598547a9ef013b7bb8d554c83bae478b1b
Fix (#1979)
src/theory/quantifiers/sygus/term_database_sygus.cpp