From a72c474c2a5902f72ab63f21dc071a22d449b63b Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Sat, 17 Oct 2015 21:25:12 +0100
Subject: clean up, more readability

---
 src/test/test2.sail | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'src/test')

diff --git a/src/test/test2.sail b/src/test/test2.sail
index ab0a72b7..6cc876c8 100644
--- a/src/test/test2.sail
+++ b/src/test/test2.sail
@@ -1,8 +1,3 @@
-default Order dec
-
-function nat id ( n ) = n
-
-register (bit[5]) c
 
 function unit f() = {
  (if( true ) then 
@@ -17,7 +12,4 @@ function unit f() = {
  b := a;
 }
 
-function nat effect pure main _ = {
-  f();
-  id(42);
-}
+
-- 
cgit v1.2.3