From: Yong hun eom <yeom@uci.edu>
Date: Tue, 4 Jun 2013 21:30:40 +0000 (-0700)
Subject: changes
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=c143aba14e055136aeb02b0c85d6fa4b8e336a64;ds=sidebyside

changes
---

diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java
index e826987a..4b483d62 100644
--- a/Robust/src/Analysis/SSJava/LocationInference.java
+++ b/Robust/src/Analysis/SSJava/LocationInference.java
@@ -1743,7 +1743,7 @@ public class LocationInference {
 
         if (!reachableCommonPrefixSet.isEmpty()) {
           
-          System.out.println("WARNING:: The algorithm is going to nondeterministicly inline " +
+          System.out.println("WARNING:: The algorithm is going to nondeterministically inline " +
           		" a cylce in between following prefixes="+reachableCommonPrefixSet +
           		" for the current node="+node);