diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-17 21:35:37 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-17 21:35:37 +0000 |
| commit | b05a2beb2a11f5ab19797dadcafc832b3721c080 (patch) | |
| tree | eb25ba5436f6358bac5c70783a0717ab359f1a0a /Source/UnitTests/BasetypesTests/BasetypesTests.csproj | |
| parent | 077807f94198124d0f326913c2fe299c966560eb (diff) | |
Patch by Jeroen Ketema
Fix interfacing with CVC4 1.5
Diffstat (limited to 'Source/UnitTests/BasetypesTests/BasetypesTests.csproj')
0 files changed, 0 insertions, 0 deletions