From fb82d8c3ebe60dba44a8b0dcfd2546cded7c7672 Mon Sep 17 00:00:00 2001 From: Florian Steurer Date: Fri, 13 Nov 2015 22:45:30 +0100 Subject: [PATCH] changed typeplaceholders --- test/unify/FiniteClosureBuilder.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/test/unify/FiniteClosureBuilder.java b/test/unify/FiniteClosureBuilder.java index f35ce0e4..815d637d 100644 --- a/test/unify/FiniteClosureBuilder.java +++ b/test/unify/FiniteClosureBuilder.java @@ -30,13 +30,13 @@ public class FiniteClosureBuilder { Type collection = tf.getSimpleType("Collection"); Type set = tf.getSimpleType("Set", "T"); - Type sortedSet = tf.getSimpleType("Set", "K"); + Type sortedSet = tf.getSimpleType("Set", "T"); Type TreeSet = tf.getSimpleType("TreeSet", "T"); - Type hashSet = tf.getSimpleType("HashSet", "Z"); + Type hashSet = tf.getSimpleType("HashSet", "T"); Type linkedHashSet = tf.getSimpleType("LinkedHashSet", "T"); - Type queue = tf.getSimpleType("Queue", "U"); - Type deque = tf.getSimpleType("Deque", "U"); - Type linkedList = tf.getSimpleType("LinkedList", "U"); + Type queue = tf.getSimpleType("Queue", "T"); + Type deque = tf.getSimpleType("Deque", "T"); + Type linkedList = tf.getSimpleType("LinkedList", "T"); Type list = tf.getSimpleType("List", "T"); Type vector = tf.getSimpleType("Vector", "T"); Type stack = tf.getSimpleType("Stack", "T");