# HG changeset patch
# User wenzelm
# Date 1736694937 -3600
# Node ID bea8edce94264723cd948e4ac2fc0ebc9982a272
# Parent  134880dc4df2d8cb2639b31416647fbe8eef5db9
proper Console_Progress as for other command-line tools;

diff -r 134880dc4df2 -r bea8edce9426 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 16:03:43 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 16:15:37 2025 +0100
@@ -707,7 +707,9 @@
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
-      find_facts_index_component(options, target_dir = target_dir)
+      val progress = new Console_Progress()
+
+      find_facts_index_component(options, target_dir = target_dir, progress = progress)
     })