From 48daa9731f4dd24bc8d9ea61c98235531aff40f8 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Fri, 17 Mar 2023 16:05:47 +0100
Subject: [PATCH] 	modified:   resources/AllgemeinTest/Pair.jav

---
 resources/AllgemeinTest/Pair.jav | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/AllgemeinTest/Pair.jav b/resources/AllgemeinTest/Pair.jav
index a3235d004..7fbec2465 100644
--- a/resources/AllgemeinTest/Pair.jav
+++ b/resources/AllgemeinTest/Pair.jav
@@ -25,9 +25,9 @@ class Pair<U, T> {
 		//return p.a == p.b;
     }
 
-/*
 
-    void m(Pair<?, ?> p, List<? extends Eq> b)
+/*
+    void m(Pair<?, ?> p, Vector<?> b)
     {
 	//this.compare(p); //1, type incorrect
 	this.compare(this.make(b)); //2, OK