From 82afcfac9cdab53113943cc6f51246fb283e22c4 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 31 Jul 2014 10:15:45 -0700 Subject: [PATCH] fix(frontends/lean/parser.cpp): fix typo --- src/frontends/lean/parser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp index 6ce7d822f..d0bc988e9 100644 --- a/src/frontends/lean/parser.cpp +++ b/src/frontends/lean/parser.cpp @@ -1050,7 +1050,7 @@ void parser::parse_imports() { } else if (auto it = find_file(f, ".olean")) { olean_files.push_back(f); } else { - throw parser_error(sstream() << "invalid import, unknow module '" << f << "'", pos()); + throw parser_error(sstream() << "invalid import, unknown module '" << f << "'", pos()); } next(); }