From 9a219aa1d3fd2a10d0851f5bcf3fdff479f27010 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 6 Apr 2009 21:41:31 +0000
Subject: [PATCH] use a clearer sese name when viewed in built code and other
 print outs

---
 Robust/src/Tests/mlp/tinyTest/test.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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];
-- 
2.34.1