diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-10 12:28:27 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-14 10:34:54 +0200 |
| commit | 60ebbf13d6b6d3522008a7b0553e5bfec1864c71 (patch) | |
| tree | 1db81241cda4f446e42fc5bf8772612d675c08ef /lib/Solver/STPBuilder.cpp | |
| parent | 8382ea75c68696b76cafc03f00235f988277f9b0 (diff) | |
| download | klee-60ebbf13d6b6d3522008a7b0553e5bfec1864c71.tar.gz | |
Fix compilation under LLVM2.9. SmallString in this old version does
not have the equals() method.
Diffstat (limited to 'lib/Solver/STPBuilder.cpp')
0 files changed, 0 insertions, 0 deletions