From: jjenista <jjenista>
Date: Mon, 6 Apr 2009 21:41:31 +0000 (+0000)
Subject: use a clearer sese name when viewed in built code and other print outs
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9a219aa1d3fd2a10d0851f5bcf3fdff479f27010;p=IRC.git

use a clearer sese name when viewed in built code and other print outs
---

diff --git a/Robust/src/Tests/mlp/tinyTest/test.java b/Robust/src/Tests/mlp/tinyTest/test.java
index e75fa898..ae8d3f13 100644
--- a/Robust/src/Tests/mlp/tinyTest/test.java
+++ b/Robust/src/Tests/mlp/tinyTest/test.java
@@ -4,7 +4,7 @@ public class Test {
 
     int n = 10;
 
-    sese s0 {
+    sese top {
       
       /*
       int[] a = new int[n];