From fc8f05fd3a482d0fa6a4dee090e32eeced01c1d6 Mon Sep 17 00:00:00 2001
From: Sida Wang <sidaw@cs.stanford.edu>
Date: Sat, 21 Jan 2017 02:18:13 -0800
Subject: [PATCH] small update

---
 src/edu/stanford/nlp/sempre/interactive/CitationTracker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/edu/stanford/nlp/sempre/interactive/CitationTracker.java b/src/edu/stanford/nlp/sempre/interactive/CitationTracker.java
index c6e77ea..ed5e25d 100644
--- a/src/edu/stanford/nlp/sempre/interactive/CitationTracker.java
+++ b/src/edu/stanford/nlp/sempre/interactive/CitationTracker.java
@@ -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);
   }