From 46abe43b291d8386666062e18faa72cee354b04c Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 2 Dec 2014 13:56:26 +0000 Subject: Fix typo --- lib/Expr/ExprSMTLIBPrinter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()) { -- cgit 1.4.1