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

diff --git a/src/rapid_type_analysis.nit b/src/rapid_type_analysis.nit
index 2d9fee4..a6cd32e 100644
--- a/src/rapid_type_analysis.nit
+++ b/src/rapid_type_analysis.nit
@@ -36,6 +36,13 @@ redef class ModelBuilder
 	do
 		var analysis = new RapidTypeAnalysis(self, mainmodule)
 		analysis.run_analysis
+
+		if toolcontext.opt_log.value then
+			var basename = toolcontext.log_directory / mainmodule.name
+			analysis.live_methods_to_tree.write_to_file(basename + ".rta_methods.txt")
+			analysis.live_types_to_csv.write_to_file(basename + ".rta_types.csv")
+		end
+
 		return analysis
 	end
 end
@@ -382,7 +389,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"