diff --git a/tool/autopilot b/tool/autopilot
index bed6216c3..1a6bd3494 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -35,7 +35,6 @@ proc genode_dir { } {
 
 
 proc default_test_dir { } { global env; return "/tmp/autopilot.$env(USER)" }
-proc default_log_file { } { return "autopilot.log" }
 
 
 ##