changes

[IRC.git] / Robust / src / Analysis / SSJava / LocationInference.java

diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java
index e826987aa398d94df89cd238ded1ceb7035574ce..4b483d62f9e6f6e467fdd91c2381f15700db1cb8 100644 (file)
--- 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);