From 42e4ca5c92b2e85d2b029c73a8b6afbeb571d7c8 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 16 Nov 2008 12:24:24 +0000
Subject: [PATCH] Adjusted an existing testcase for the changes in OccamEDSL

---
 transformations/PassTest.hs | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/transformations/PassTest.hs b/transformations/PassTest.hs
index 82250cc..8c5b920 100644
--- a/transformations/PassTest.hs
+++ b/transformations/PassTest.hs
@@ -626,13 +626,11 @@ testRemoveNesting = TestList
     , test "Nested PROC" $
       (oPROC "bar" [] (
         oSEQ 
-          [decl oINT oX $
-            oempty]
+          [decl oINT oX []]
       ) $
       oPROC "foo" [] (
         oSEQ
           [decl oINT oX $
-            oSEQ
               [oX *:= return (0::Int)
               ,oX *:= return (1::Int)]]
       ) oempty)
@@ -641,11 +639,9 @@ testRemoveNesting = TestList
         oSEQ 
           [oPROC "bar" [] (
             oSEQ
-              [decl oINT oX $
-                oempty]
+              [decl oINT oX []]
           ) $
-          decl oINT oX $
-            oSEQ
+          decl oINT oX
               [oX *:= return (0::Int)
               ,oX *:= return (1::Int)]]
       ) oempty