small diff

diff --git a/Robust/src/Analysis/SSJava/BuildLattice.java b/Robust/src/Analysis/SSJava/BuildLattice.java
index 9db197469bc40e6b89f7593d7dd10e11b3b637da..adce54e507835d538961940090168271e27847a0 100644 (file)
--- a/Robust/src/Analysis/SSJava/BuildLattice.java
+++ b/Robust/src/Analysis/SSJava/BuildLattice.java
@@ -351,7 +351,7 @@ public class BuildLattice {
               + trace);
         }
 
-        // 3) convert the node m into a chain of nodes with the last node in the chain having m’s
+        // 3) convert the node m into a chain of nodes with the last node in the chain having m's
         // outgoing edges.
         Set<HNode> outgoingSCNodeSet = scGraph.getOutgoingNodeSet(SCNode);
         System.out.println("   outgoing scnode set from " + SCNode + "=" + outgoingSCNodeSet);

diff --git a/Robust/src/README b/Robust/src/README
index a51ea9686bd34a5f7fa21c287368a188d0bebb24..df13bf73e21f1e1cd3bc2bb7b7849a69944c99aa 100644 (file)
--- a/Robust/src/README
+++ b/Robust/src/README
@@ -1,4 +1,4 @@
 See the wiki page at http://demsky.eecs.uci.edu/compiler/
 
 To set emacs tabbing add to your .emacs file:
-(setq c-basic-offset 2)
+(setq c-basic-offset 2)
\ No newline at end of file