From 6a8590ab0d0731365e024cbe856191670e43d916 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Enrico=20Schr=C3=B6dter?= <i13026@hb.dhbw-stuttgart.de>
Date: Fri, 16 Oct 2015 13:22:08 +0200
Subject: [PATCH] FreshWildcardType muss von ObjectType ableiten, damit der
 Unifikationsalgorithmus funktioniert

---
 src/de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.java | 2 +-
 test/bytecode/types/ExtendsVector.jav                       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.java b/src/de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.java
index 33f153e0..40ddb895 100755
--- a/src/de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.java
+++ b/src/de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.java
@@ -8,7 +8,7 @@ import de.dhbwstuttgart.typeinference.JavaCodeResult;
 import de.dhbwstuttgart.typeinference.ResultSet;
 import de.dhbwstuttgart.typeinference.exceptions.NotImplementedException;
 
-public class FreshWildcardType extends Type {
+public class FreshWildcardType extends ObjectType {
 	
 	private static String strNextName = "A";
 	private Menge<Type> upperBounds = new Menge<Type>();
diff --git a/test/bytecode/types/ExtendsVector.jav b/test/bytecode/types/ExtendsVector.jav
index fed1dd07..f029967d 100644
--- a/test/bytecode/types/ExtendsVector.jav
+++ b/test/bytecode/types/ExtendsVector.jav
@@ -1,5 +1,5 @@
 import java.util.Vector;
 
-class ExtendsVector extends Vector{
+class ExtendsVector extends Vector<Object>{
 
 }
\ No newline at end of file