diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-12-02 13:56:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-12-02 18:39:04 +0000 |
| commit | 46abe43b291d8386666062e18faa72cee354b04c (patch) | |
| tree | d3f6dd665e006266f7368c7c6cd55de52fe1d6e1 | |
| parent | aaf6ec091c70fb18ad8de621509289a2114e8786 (diff) | |
| download | klee-46abe43b291d8386666062e18faa72cee354b04c.tar.gz | |
Fix typo
| -rw-r--r-- | lib/Expr/ExprSMTLIBPrinter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/ExprSMTLIBPrinter.cpp b/lib/Expr/ExprSMTLIBPrinter.cpp index 058f5974..1f6c4588 100644 --- a/lib/Expr/ExprSMTLIBPrinter.cpp +++ b/lib/Expr/ExprSMTLIBPrinter.cpp @@ -624,7 +624,7 @@ void ExprSMTLIBPrinter::printAction() { // Ask solver to check for satisfiability *o << "(check-sat)\n"; - /* If we has arrays to find the values of then we'll + /* If we have arrays to find the values of then we'll * ask the solver for the value of each bitvector in each array */ if (arraysToCallGetValueOn != NULL && !arraysToCallGetValueOn->empty()) { |