Do not print *all* declarations

leanprover-community · Jun 23, 2024 · 194824e · 194824e
1 parent 9712d8c
commit 194824e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/list_decls.lean b/scripts/list_decls.lean
@@ -34,4 +34,4 @@ macro "list_decls!" : command => `(list_decls !)
 
 end ListDecls
 
---list_decls !
+--list_decls