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 e75fa8989fe51a6f0439cc42cc2479332961fc55..ae8d3f13706de628dc52daebd63b9b9b228603e8 100644 (file)
--- 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];