From 8d49d3cf83111fdaa563d41f3cad1e664863aabd Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 11 Dec 2020 16:25:16 +0100
Subject: bad link

---
 runtime/kvx/ccomp_k1c_fixes.h | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 runtime/kvx/ccomp_k1c_fixes.h

(limited to 'runtime')

diff --git a/runtime/kvx/ccomp_k1c_fixes.h b/runtime/kvx/ccomp_k1c_fixes.h
deleted file mode 120000
index b640c96e..00000000
--- a/runtime/kvx/ccomp_k1c_fixes.h
+++ /dev/null
@@ -1 +0,0 @@
-../include/ccomp_k1c_fixes.h
\ No newline at end of file
-- 
cgit