diff options
| author |  akashlal <unknown> | 2014-09-20 19:55:16 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2014-09-20 19:55:16 +0530 |
| commit | 48dbb157f0214610594ef9a67bcea113fd293c57 (patch) | |
| tree | 4d650b9febdefda10af7fa6d2f09a1411ef21dd6 /Test/doomed/doomed.bpl | |
| parent | 19a2ca90bdee10b53766fdec679a2cde5b3c3c71 (diff) | |
minor fix to abshoudini's handling of quantifiers
Diffstat (limited to 'Test/doomed/doomed.bpl')
0 files changed, 0 insertions, 0 deletions