michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(frontends/lean/parser.cpp): fix typo

Browse source
This commit is contained in:
Soonho Kong 2014-07-31 10:15:45 -07:00
parent 8834563a7f
commit 82afcfac9c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/frontends/lean/parser.cpp
View file

@ -1050,7 +1050,7 @@ void parser::parse_imports() {
} else if (auto it = find_file(f, ".olean")) { } else if (auto it = find_file(f, ".olean")) {
olean_files.push_back(f); olean_files.push_back(f);
} else { } else {
throw parser_error(sstream() << "invalid import, unknow module '" << f << "'", pos()); throw parser_error(sstream() << "invalid import, unknown module '" << f << "'", pos());
} }
next(); next();
} }