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

diff --git a/src/metrics/metrics_base.nit b/src/metrics/metrics_base.nit
index 342d5c7..216e2b3 100644
--- a/src/metrics/metrics_base.nit
+++ b/src/metrics/metrics_base.nit
@@ -51,7 +51,7 @@ redef class ToolContext
 	# --rta
 	var opt_rta = new OptionBool("Compute RTA metrics", "--rta")
 	# --generate-csv
-	var opt_csv = new OptionBool("Export metrics in CSV format", "--csv")
+	var opt_csv = new OptionBool("Also export metrics in CSV format", "--csv")
 	# --generate_hyperdoc
 	var opt_generate_hyperdoc = new OptionBool("Generate Hyperdoc", "--generate_hyperdoc")
 	# --poset
@@ -235,7 +235,7 @@ end
 class IntMetric
 	super Metric
 
-	redef type VAL: Int
+	redef type VAL: Int is fixed
 	redef type RES: Counter[ELM]
 
 	# `IntMetric` uses a Counter to store values in intern.
@@ -395,8 +395,7 @@ class MetricSet
 	# Export the metric set in CSV format
 	fun to_csv: CsvDocument do
 		var csv = new CsvDocument
-
-		csv.format = new CsvFormat('"', ';', "\n")
+		csv.separator = ';'
 
 		# set csv headers
 		csv.header.add("entry")