From ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 1 Sep 2021 16:57:12 +0200
Subject: cleanup

---
 powerpc/RTLpathSE_simplify.v | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 powerpc/RTLpathSE_simplify.v

(limited to 'powerpc')

diff --git a/powerpc/RTLpathSE_simplify.v b/powerpc/RTLpathSE_simplify.v
deleted file mode 120000
index 55bf0e52..00000000
--- a/powerpc/RTLpathSE_simplify.v
+++ /dev/null
@@ -1 +0,0 @@
-../aarch64/RTLpathSE_simplify.v
\ No newline at end of file
-- 
cgit