X-Git-Url: http://nitlanguage.org

diff --git a/tests/base_formal_isa.nit b/tests/base_formal_isa.nit
index bb4ae48..146701f 100644
--- a/tests/base_formal_isa.nit
+++ b/tests/base_formal_isa.nit
@@ -20,13 +20,16 @@ end
 
 class G[E, F]
 	fun new_ae: A[nullable Object] do return new A[E]
-	fun new_gafgaaenae: G[nullable Object, nullable Object] do return new G[A[F],G[A[A[E]],nullable A[E]]]
 	fun isa_af(x: Object): Bool
 	do 
 		return x isa A[F]
 	end
 end
 
+class H[E, F]
+	fun new_gafgaaenae: G[nullable Object, nullable Object] do return new G[A[F],G[A[A[E]],nullable A[E]]]
+end
+
 var gib = new G[Int, Bool]
 
 var gib_ae = gib.new_ae
@@ -37,7 +40,8 @@ gib_ae.output_class_name
 
 '\n'.output
 
-var gib_x = gib.new_gafgaaenae
+var hib = new H[Int, Bool]
+var gib_x = hib.new_gafgaaenae
 gib_x.output_class_name
 (gib_x isa G[Object, Object]).output
 (gib_x isa G[A[Object], G[nullable A[Object], nullable Object]]).output