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

diff --git a/src/modelbuilder.nit b/src/modelbuilder.nit
index 30f5885..27d6710 100644
--- a/src/modelbuilder.nit
+++ b/src/modelbuilder.nit
@@ -52,11 +52,16 @@ redef class ToolContext
 	# Run `process_mainmodule` on all phases
 	fun run_global_phases(mmodules: Array[MModule])
 	do
-		var mainmodule = make_main_module(mmodules)
-		for phase in phases_list do
-			if phase.disabled then continue
-			phase.process_mainmodule(mainmodule, mmodules)
+		if not mmodules.is_empty then
+			var mainmodule = make_main_module(mmodules)
+			for phase in phases_list do
+				if phase.disabled then continue
+				phase.process_mainmodule(mainmodule, mmodules)
+			end
 		end
+
+		check_errors
+		errors_info
 	end
 end
 
@@ -86,6 +91,7 @@ redef class ModelBuilder
 		model.mmodule_importation_hierarchy.sort(mmodules)
 		var nmodules = new Array[AModule]
 		for mm in mmodules do
+			if mm.is_fictive then continue
 			nmodules.add(mmodule2node(mm).as(not null))
 		end
 		toolcontext.run_phases(nmodules)