small update

This commit is contained in:
Sida Wang 2017-01-21 02:18:13 -08:00
parent ff89b3b8d3
commit fc8f05fd3a
1 changed files with 1 additions and 1 deletions

View File

@ -43,7 +43,7 @@ public class CitationTracker {
this.ex = ex;
}
public void citeRule(Rule rule) {
public synchronized void citeRule(Rule rule) {
writeLog(rule);
writeSummary(rule);
}