--- 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)
}
}
}