changes

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()) {
           
 
         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);
 
                        " a cylce in between following prefixes="+reachableCommonPrefixSet +
                        " for the current node="+node);