From d06acf1c0be1fa63f5505cbcc7943676c4c0f008 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Thu, 28 Feb 2013 17:41:35 -0800 Subject: [PATCH] small diff --- Robust/src/Analysis/SSJava/BuildLattice.java | 2 +- Robust/src/README | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 -- 2.34.1