From 4102a75cecba464506aaf2c200d6620dd2debe83 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Fri, 10 May 2024 14:58:26 +0100
Subject: [PATCH] Remove unused type from Anoma test file

---
 tests/Anoma/Compilation/positive/test075.juvix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tests/Anoma/Compilation/positive/test075.juvix b/tests/Anoma/Compilation/positive/test075.juvix
index 9c7311d6ea..cfad65e7b2 100644
--- 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)