tiny fix to qprofdiff (#6497)

Z3Prover · Dec 30, 2022 · 8002a51 · 8002a51
1 parent 293627c
commit 8002a51
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/qprofdiff/main.cpp b/contrib/qprofdiff/main.cpp
@@ -65,7 +65,7 @@ int parse(string const & filename, map<string, map_entry> & data) {
                 inx != string::npos;
                 inx = line.find(" : ", from)) {
                 tokens[ti] = trim(line.substr(from, inx-from));
-                from = inx+1;
+                from = inx+3; //3 is the length of " : "
                 ti++;
             }
             if (from != line.length() && ti < 4)