# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1737476370 -3600
# Node ID 78b8b776fd1f88f9b33fddab8bd8360fee56717d
# Parent  f1d520cd7575cc29af16f585312beee6a3321fad
clarified;

diff -r f1d520cd7575 -r 78b8b776fd1f src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Tue Jan 21 17:15:52 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Tue Jan 21 17:19:30 2025 +0100
@@ -883,7 +883,7 @@
 
   val default_port = 8080
 
-  def find_facts(
+  def find_facts_server(
     options: Options,
     port: Int = default_port,
     devel: Boolean = false,
@@ -994,7 +994,7 @@
 
       val progress = new Console_Progress(verbose = verbose)
 
-      find_facts(options, port = port, devel = devel, progress = progress)
+      find_facts_server(options, port = port, devel = devel, progress = progress)
     }
   }
 }