Merge remote-tracking branch 'lucas/ropes'

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

diff --git a/tests/sav/nitg.res b/tests/sav/nitg.res
index 5f5c45f..bcfe38c 100644 (file)
--- a/tests/sav/nitg.res
+++ b/tests/sav/nitg.res
@@ -33,3 +33,4 @@
   --erasure                   Erase generic types
   --no-check-erasure-cast     Disable implicit casts on unsafe return with erasure-typing policy (dangerous)
   --global                    Use global compilation
+  -m                          Additionals module to min-in