1 files changed, 1 insertions, 9 deletions
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);
-}
+