From fbc5f7a5fa04331686423dbdaec72ab82c226b16 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 13 Jan 2017 07:36:24 -0800 Subject: [PATCH] chore(util/lean_path): compilation warning --- src/util/lean_path.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lean_path.cpp b/src/util/lean_path.cpp index 53b39c6e31..cd36947de0 100644 --- a/src/util/lean_path.cpp +++ b/src/util/lean_path.cpp @@ -295,7 +295,7 @@ void find_imports_core(std::string const & base, optional const & k, if (k) import = std::string(*k + 1, '.') + import; auto n = import.rfind(".default"); - if (n != -1 && n == import.size() - std::string(".default").size()) + if (n != static_cast(-1) && n == import.size() - std::string(".default").size()) import = import.substr(0, n); imports.push_back({import, file}); }