diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-31 20:50:24 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-31 20:50:24 +0000 |
commit | f73e17d5649f636eb88aafe05aaf32565a806bab (patch) | |
tree | c1950fc6865ccdadc865ea058ea27118216992ac /src/theory/quantifiers/candidate_generator.h | |
parent | 24072d4b0f33abbbe1e468e5b62eb25928f7da25 (diff) |
fix some file documentation
Diffstat (limited to 'src/theory/quantifiers/candidate_generator.h')
0 files changed, 0 insertions, 0 deletions