Use char version of find_last_of when possible.

Z3Prover · Aug 2, 2022 · 8313282 · 8313282
1 parent b361226
commit 8313282
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
@@ -1885,7 +1885,7 @@ void test_out_dir(std::string out_dir) {
 
 void find_dir_and_file_name(std::string a, std::string & dir, std::string& fn) {
     // todo: make it system independent
-    size_t last_slash_pos = a.find_last_of("/");
+    size_t last_slash_pos = a.find_last_of('/');
     if (last_slash_pos >= a.size()) {
         std::cout << "cannot find file name in " << a << std::endl;
         throw;