diff --git a/verify/src/main.rs b/verify/src/main.rs index c1d86f7e6..170a56477 100644 --- a/verify/src/main.rs +++ b/verify/src/main.rs @@ -19,7 +19,6 @@ use verify::versioned::{self, Status}; use verify::{method, model, reexports, ssot, Version}; // TODO: Enable running from any directory, currently errors if run from `src/`. -// TODO: Add a --quiet option. const VERSIONS: [Version; 15] = [ Version::V17,