From: Brian Demsky Date: Fri, 1 Mar 2013 01:41:35 +0000 (-0800) Subject: small diff X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=d06acf1c0be1fa63f5505cbcc7943676c4c0f008 small diff --- diff --git a/Robust/src/Analysis/SSJava/BuildLattice.java b/Robust/src/Analysis/SSJava/BuildLattice.java index 9db19746..adce54e5 100644 --- 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 outgoingSCNodeSet = scGraph.getOutgoingNodeSet(SCNode); System.out.println(" outgoing scnode set from " + SCNode + "=" + outgoingSCNodeSet); diff --git a/Robust/src/README b/Robust/src/README index a51ea968..df13bf73 100644 --- 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