diff options
author | FabianWolff <fabi.wolff@arcor.de> | 2020-09-01 05:20:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 20:20:57 -0700 |
commit | fa05eb5599e2ac0b2d4c1e0e943fee6353b52430 (patch) | |
tree | f3c9cbb78e7e80657e0a0ebcd5f438842d05a854 /src/smt/smt_engine.cpp | |
parent | 09b3b246ad0328a163b0e3825531ccf82ea4013d (diff) |
Fix spelling errors (#4977)
Signed-off-by: Fabian Wolff <fabi.wolff@arcor.de>
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 98e865478..955fe3e14 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -891,7 +891,7 @@ theory::TheoryModel* SmtEngine::getAvailableModel(const char* c) const std::stringstream ss; ss << "Cannot " << c << " since model is not available. Perhaps the most recent call to " - "check-sat was interupted?"; + "check-sat was interrupted?"; throw RecoverableModalException(ss.str().c_str()); } |