From 574cc7e42eaeca6789b2098e438b86253b232008 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Mon, 12 Dec 2022 10:05:45 -0500
Subject: [PATCH] Deleted generated diff report

---
 Test/VeriFast/tasks/vTaskSwitchContext/stats/diff_report.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 Test/VeriFast/tasks/vTaskSwitchContext/stats/diff_report.txt

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