contracts: change the contract syntax

[nit.git] / tests / nitlight.args

diff --git a/tests/nitlight.args b/tests/nitlight.args
index 4f02479..a6c4343 100644 (file)
--- a/tests/nitlight.args
+++ b/tests/nitlight.args
@@ -2,3 +2,4 @@
 base_simple3.nit
 -f --line-id-prefix XYZ --first-line 38 --last-line 46 base_simple3.nit
 --txt base_simple3.nit
+--no-infobox base_simple3.nit