From: Jean Privat <jean@pryen.org>
Date: Thu, 26 Feb 2015 12:56:06 +0000 (+0700)
Subject: rta: do not drop abstract methods. abstract method can be live in Nit.
X-Git-Tag: v0.7.3~33^2~5
X-Git-Url: http://nitlanguage.org

rta: do not drop abstract methods. abstract method can be live in Nit.

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/rapid_type_analysis.nit b/src/rapid_type_analysis.nit
index 2d9fee4..434c0e0 100644
--- a/src/rapid_type_analysis.nit
+++ b/src/rapid_type_analysis.nit
@@ -382,7 +382,6 @@ class RapidTypeAnalysis
 		if mproperty.mpropdefs.length <= 1 then return
 		# If all definitions of a method are live, we can remove the definition of the totry set
 		for d in mproperty.mpropdefs do
-			if d.is_abstract then continue
 			if not live_methoddefs.has(d) then return
 		end
 		#print "full property: {mpropdef.mproperty} for {mpropdef.mproperty.mpropdefs.length} definitions"