From c143aba14e055136aeb02b0c85d6fa4b8e336a64 Mon Sep 17 00:00:00 2001
From: Yong hun eom <yeom@uci.edu>
Date: Tue, 4 Jun 2013 14:30:40 -0700
Subject: [PATCH] changes

---
 Robust/src/Analysis/SSJava/LocationInference.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
 
-- 
2.34.1