From 04da66531f23ad17b9ad497d1cfb8083ba548ebd Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Thu, 15 May 2008 12:23:44 +0000
Subject: [PATCH] Fix nesting.occ so it has a valid TLP signature.

---
 testcases/nesting.occ | 29 ++++++++++++++++-------------
 1 file changed, 16 insertions(+), 13 deletions(-)

diff --git a/testcases/nesting.occ b/testcases/nesting.occ
index 7920f7c..cf43358 100644
--- a/testcases/nesting.occ
+++ b/testcases/nesting.occ
@@ -1,15 +1,18 @@
-PROC outer (CHAN OF INT channel)
-  VAL INT constant IS 42:
-  INT count:
-  PROC inner1 ()
-    count := count + constant
+PROC p ()
+  PROC outer (CHAN OF INT channel)
+    VAL INT constant IS 42:
+    INT count:
+    PROC inner1 ()
+      count := count + constant
+    :
+    PROC inner2 (VAL INT count)
+      SEQ i = 0 FOR constant
+        channel ! count + i
+    :
+    SEQ
+      count := 0
+      inner1 ()
+      inner2 (count)
   :
-  PROC inner2 (VAL INT count)
-    SEQ i = 0 FOR constant
-      channel ! count + i
-  :
-  SEQ
-    count := 0
-    inner1 ()
-    inner2 (count)
+  SKIP
 :