1 files changed, 1 insertions, 0 deletions
diff --git a/cli/main.rs b/cli/main.rs
index e20435a00..5db12d8f7 100644
--- a/cli/main.rs
+++ b/cli/main.rs
@@ -31,6 +31,7 @@ mod disk_cache;
 mod doc;
 mod file_fetcher;
 pub mod flags;
+mod flags_allow_net;
 mod fmt;
 pub mod fmt_errors;
 mod fs;