diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-28 17:37:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-28 17:37:57 +0000 |
| commit | 83cf3909b50af1d37735a252e79d550aac08cf7a (patch) | |
| tree | c4d09b7aef51e8f38aeb5953e0d091c9fc0fb03c /RELEASE-NOTES | |
| parent | 629d04c45e1606a4d0ecef2717924e839d5daec3 (diff) | |
Bug fix:
* Fix creation of bound variables in CVC native language parser
* This corrects a problem with misleading model output
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'RELEASE-NOTES')
0 files changed, 0 insertions, 0 deletions