This revision patches one line in InteractionsModel that was

ponderosaTX · ponderosaTX · commit 7980b06f8788 · 2015-09-25T11:12:21.000-05:00
not properly update in the previous revision.

The following files were modified:

	modified:   src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
diff --git a/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java b/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
@@ -592,7 +592,7 @@ public void changeInputListener(InputListener oldListener, InputListener newList
   public void _interactionIsOver() {
     Utilities.invokeLater(new Runnable() {
       public void run() {
-        _log.log("Adding to history '" + toEval + "'");
+        _log.log("Adding to history '" + _toAddToHistory + "'");
         _document.addToHistory(_toAddToHistory);  // better place for this action despite bug report #952
         _document.setInProgress(false);
         _document.insertPrompt();
