1.25.16?

2019-05-22 14:48:04 +02:00
parent 288450f7b8
commit 202d3ada9a
5 changed files with 26 additions and 8 deletions
@@ -1 +1 @@
-1.25.16~pre3
+1.25.16
@@ -184,7 +184,7 @@ bool SynGroups::setfile(const string& fn)
 	for (const auto& word : words) {
 	    m->terms[word] = m->groups.size()-1;
 	}
-	LOGDEB0("SynGroups::setfile: group: [" <<
+	LOGDEB1("SynGroups::setfile: group: [" <<
                stringsToString(m->groups.back()) << "]\n");
    }
    LOGDEB("SynGroups::setfile: got " << m->groups.size() <<