diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-31 17:53:11 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-31 17:53:11 -0700 |
| commit | d0832be28a74bbd191970162648fe9f68168ccf7 (patch) | |
| tree | 79476e733e7aefd45b56e41954bddfc4de091296 | |
| parent | 04a2a2928c795013fc28e9c6ac41edf51162349b (diff) | |
| download | mu-d0832be28a74bbd191970162648fe9f68168ccf7.tar.gz | |
3611
Fix CI.
| -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 [ |