changes
authorYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:30:40 +0000 (14:30 -0700)
committerYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:30:40 +0000 (14:30 -0700)
Robust/src/Analysis/SSJava/LocationInference.java

index e826987..4b483d6 100644 (file)
@@ -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);