Remove unused type from Anoma test file

anoma · May 10, 2024 · 4b0cd40 · 4b0cd40
1 parent fa49bb8
commit 4b0cd40
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/tests/Anoma/Compilation/positive/test075.juvix b/tests/Anoma/Compilation/positive/test075.juvix
@@ -6,10 +6,6 @@ import Stdlib.Debug.Trace open;
 builtin anoma-encode
 axiom anomaEncode : {A : Type} -> A -> Nat;
 
-type R := mkR { a : Nat; b : Nat };
-
-type Tree := leaf Nat | node Tree Tree;
-
 main : Nat :=
   -- jam 0 == 2
   trace (anomaEncode 0)