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/CoreTests/CoreTests.csproj | |
parent | 077807f94198124d0f326913c2fe299c966560eb (diff) |
Patch by Jeroen Ketema
Fix interfacing with CVC4 1.5
Diffstat (limited to 'Source/UnitTests/CoreTests/CoreTests.csproj')
0 files changed, 0 insertions, 0 deletions