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

diff --git a/src/auto_super_init.nit b/src/auto_super_init.nit
index 92ee003..513d071 100644
--- a/src/auto_super_init.nit
+++ b/src/auto_super_init.nit
@@ -48,9 +48,12 @@ end
 
 
 redef class AMethPropdef
-	# In case of constructor, the list of implicit auto super init constructors invoked (if needed)
+	# In case of introduced constructor, the list of implicit auto super init constructors invoked (if needed)
 	var auto_super_inits: nullable Array[CallSite] = null
 
+	# In case of redefined constructors, is an implicit call-to-super required?
+	var auto_super_call = false
+
 	fun do_auto_super_init(modelbuilder: ModelBuilder)
 	do
 		var mclassdef = self.parent.as(AClassdef).mclassdef.as(not null)
@@ -94,6 +97,13 @@ redef class AMethPropdef
 
 		if nosuper != null then return
 
+		# Still here? So it means that we must add an implicit super-call on redefinitions.
+		if not mpropdef.is_intro then
+			auto_super_call = true
+			mpropdef.has_supercall = true
+			return
+		end
+
 		# Still here? So it means that we must determine what super inits need to be automatically invoked
 
 		var auto_super_inits = new Array[CallSite]