emscipten_platform: do not use `append` on String

[nit.git] / src / metrics / refinement_metrics.nit

diff --git a/src/metrics/refinement_metrics.nit b/src/metrics/refinement_metrics.nit
index 6e876a7..2c9ac5a 100644 (file)
--- a/src/metrics/refinement_metrics.nit
+++ b/src/metrics/refinement_metrics.nit
@@ -22,7 +22,7 @@ private import metrics_base
 import frontend
 
 redef class ToolContext
-       var refinement_metrics_phase = new RefinementMetricsPhase(self, null)
+       var refinement_metrics_phase: Phase = new RefinementMetricsPhase(self, null)
 end
 
 private class RefinementMetricsPhase