diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-01-27 20:00:54 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-01-27 20:00:54 +0000 |
| commit | f7eb28b85addc21ad55952c0cb00b9e5127beced (patch) | |
| tree | 0832cb03056873f76eaa3b92631a8c4229c2f835 /Makefile.subdir | |
| parent | c6654673bfbf2358f2461f7ba3735d9142aa91b7 (diff) | |
effecting the same change in the compat Java binding as was done to CVC3 yesterday (ValidityChecker::value() and ValidityChecker::getValue())
Diffstat (limited to 'Makefile.subdir')
0 files changed, 0 insertions, 0 deletions