From 0b86cdc3182752ff355f1bcd263bd7977eb3a1b0 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Fri, 8 Feb 2019 12:12:02 +0100
Subject: [PATCH] Clean up test case

---
 test/contracts/namespaces.aes | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/test/contracts/namespaces.aes b/test/contracts/namespaces.aes
index 09d0a2e..d67f990 100644
--- a/test/contracts/namespaces.aes
+++ b/test/contracts/namespaces.aes
@@ -1,16 +1,10 @@
 
 namespace Lib =
 
-  // namespace Internal =
-  //   function rev(xs, ys) =
-  //     switch(xs)
-  //       []      => ys
-  //       x :: xs => rev(xs, x :: ys)
-  private
-    function rev(xs, ys) =
-      switch(xs)
-        []      => ys
-        x :: xs => rev(xs, x :: ys)
+  private function rev(xs, ys) =
+    switch(xs)
+      []      => ys
+      x :: xs => rev(xs, x :: ys)
 
   function reverse(xs : list('a)) : list('a) = rev(xs, [])