[thin_check] rename --fix-metadata-leaks to --auto-repair

This flag will cover all trivial fixes, such as data leaks.
2020-08-12 10:45:20 +01:00
parent ebcfc322c0
commit 2860b4c0b1
4 changed files with 17 additions and 13 deletions
--- a/functional-tests/scenario-string-constants.scm
+++ b/functional-tests/scenario-string-constants.scm
@ -30,7 +30,7 @@ Options:
  {-h|--help}
  {-V|--version}
  {-m|--metadata-snap}
-  {--fix-metadata-leaks}
+  {--auto-repair}
  {--override-mapping-root}
  {--clear-needs-check-flag}
  {--ignore-non-fatal-errors}