From a9ca1eb5b9301936d16a41fa18d8366459ced4b2 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Tue, 10 Jan 2023 16:43:04 +0100
Subject: [PATCH] 	deleted:    src/test/java/targetast/Fun1$$.java

---
 src/test/java/targetast/Fun1$$.java | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 src/test/java/targetast/Fun1$$.java

diff --git a/src/test/java/targetast/Fun1$$.java b/src/test/java/targetast/Fun1$$.java
deleted file mode 100644
index 882112f24..000000000
--- a/src/test/java/targetast/Fun1$$.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public interface Fun1$$<R, T> {
-    public R apply(T t);
-}