From 63c0c643bb8f60d7cf481b89c3102678c808d2a1 Mon Sep 17 00:00:00 2001
From: Cédric <cedric.pineau@taelys.com>
Date: Sun, 13 Oct 2024 16:00:03 +0200
Subject: Delete duplicated files in java implementation

---
 java/Term.java | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 java/Term.java

(limited to 'java/Term.java')

diff --git a/java/Term.java b/java/Term.java
deleted file mode 100644
index 2dcc9fe..0000000
--- a/java/Term.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.lambdanantes.lcgoji.ast;
-
-public sealed interface Term permits Var, Abs, App {
-
-}
\ No newline at end of file
-- 
cgit v1.2.3