From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 13 Jan 2015 18:24:09 +0000 (-0500)
Subject: Fix typo.
X-Git-Tag: cvc5-1.0.0~6446
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f2eaaa6b73b4da024c2e95b0f5c0139c9721458;p=cvc5.git

Fix typo.
---

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 22b2244a0..d7f4489bf 100644
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -1541,7 +1541,7 @@ str[std::string& s, bool fsmtlib]
       s = s.substr(1, s.size() - 2);
       for(size_t i=0; i<s.size(); i++) {
         if((unsigned)s[i] > 127 && !isprint(s[i])) {
-          PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as esacped sequences");
+          PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as escape sequences");
         }
       }
       if(fsmtlib) {
@@ -1573,7 +1573,7 @@ str[std::string& s, bool fsmtlib]
       s = s.substr(1, s.size() - 2);
       for(size_t i=0; i<s.size(); i++) {
         if((unsigned)s[i] > 127 && !isprint(s[i])) {
-          PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as esacped sequences");
+          PARSER_STATE->parseError("Extended/unprintable characters are not part of SMT-LIB, and they must be encoded as escape sequences");
         }
       }
       // In the 2.5 version, always handle escapes (regardless of fsmtlib flag).