diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-25 17:11:44 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:14:55 -0500 |
| commit | 72832c1a749e4bde8d16930b0f59e5db9810cafc (patch) | |
| tree | ee86841b13d5fa8e020e938fdcc79059a9177d47 /src/compat/cvc3_compat.cpp | |
| parent | d389114bc99897fc7ea3c744194225ebab368851 (diff) | |
Fix version identification for new git repository.
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
0 files changed, 0 insertions, 0 deletions