From c8c6525990cac187045e2a469e63f1360b5353c8 Mon Sep 17 00:00:00 2001
From: Marius Greitschus <greitsch@informatik.uni-freiburg.de>
Date: Fri, 5 Aug 2016 14:45:59 +0200
Subject: [PATCH] Removed nonexistent symbolic link

---
 trunk/source/UltimateTest/dump | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 trunk/source/UltimateTest/dump

diff --git a/trunk/source/UltimateTest/dump b/trunk/source/UltimateTest/dump
deleted file mode 120000
index 1ec63685ca8..00000000000
--- a/trunk/source/UltimateTest/dump
+++ /dev/null
@@ -1 +0,0 @@
-/home/matthias/abstuv/save/dump/
\ No newline at end of file