small diff
authorBrian Demsky <bdemsky@uci.edu>
Fri, 1 Mar 2013 01:41:35 +0000 (17:41 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 1 Mar 2013 01:41:35 +0000 (17:41 -0800)
Robust/src/Analysis/SSJava/BuildLattice.java
Robust/src/README

index 9db1974..adce54e 100644 (file)
@@ -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 ms
+        // 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);
index a51ea96..df13bf7 100644 (file)
@@ -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