Remove unused types from test

ollef · Mar 25, 2024 · 1997036 · 1997036
1 parent f86c5da
commit 1997036
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/tests/singles/type-checking/array-append.vix b/tests/singles/type-checking/array-append.vix
@@ -6,9 +6,6 @@ add : Nat -> Nat -> Nat
 add Z n = n
 add (S m) n = S (add m n)
 
-data Unit = Unit
-data Product A B = Product A B
-
 data Vector n A where
   Nil : Vector Z A
   Cons : forall n. A -> Vector n A -> Vector (S n) A