diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/stats/diff_report.txt b/Test/VeriFast/tasks/vTaskSwitchContext/stats/diff_report.txt
deleted file mode 100644
index e69de29bb..000000000