diff options
| -rw-r--r-- | 013update_operation.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/013update_operation.cc b/013update_operation.cc index 10b29714..6f98dc6e 100644 --- a/013update_operation.cc +++ b/013update_operation.cc @@ -26,6 +26,7 @@ string maybe(string s) { return s + ": "; } +:(scenarios transform) :(scenario missing_arrow) % Hide_errors = true; def main [ |