diff options
Diffstat (limited to 'src/report.h')
-rw-r--r-- | src/report.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/report.h b/src/report.h index 38b2b07e..02fd2c8d 100644 --- a/src/report.h +++ b/src/report.h @@ -183,8 +183,6 @@ public: HANDLED(lots_actual)); } - bool maybe_import(const string& module); - void report_options(std::ostream& out) { HANDLER(abbrev_len_).report(out); |