contracts: change the contract syntax

[nit.git] / tests / sav / test_phase.res

diff --git a/tests/sav/test_phase.res b/tests/sav/test_phase.res
index 8bc4233..fd8dbb5 100644 (file)
--- a/tests/sav/test_phase.res
+++ b/tests/sav/test_phase.res
@@ -1,12 +1,2 @@
-  -W, --warn              Show warnings
-  -q, --quiet             Do not show warnings
-  --stop-on-first-error   Stop on first error
-  --no-color              Do not use color to display errors and warnings
-  --log                   Generate various log files
-  --log-dir               Directory where to generate log files
-  -h, -?, --help          Show Help (This screen)
-  --version               Show version and exit
-  -v, --verbose           Verbose
-  -I, --path              Set include path for loaders (may be used more than once)
-  --only-parse            Only proceed to parse step of loaders
-  --only-metamodel        Stop after meta-model processing
+Usage: [OPTION]... <file.nit>...
+Use --help for help