--- a/src/Pure/General/file_watcher.scala Sat Apr 04 21:38:20 2020 +0200
+++ b/src/Pure/General/file_watcher.scala Sun Apr 05 13:05:40 2020 +0200
@@ -84,13 +84,13 @@
/* changed directory entries */
- private val delay_changed = Standard_Thread.delay_last(delay)
+ private val delay_changed = Isabelle_Thread.delay_last(delay)
{
val changed = state.change_result(st => (st.changed, st.copy(changed = Set.empty)))
handle(changed)
}
- private val watcher_thread = Standard_Thread.fork(name = "file_watcher", daemon = true)
+ private val watcher_thread = Isabelle_Thread.fork(name = "file_watcher", daemon = true)
{
try {
while (true) {