1 files changed, 0 insertions, 3 deletions
diff --git a/psl/psl.ads b/psl/psl.ads
deleted file mode 100644
index a2f4bdce0..000000000
--- a/psl/psl.ads
+++ /dev/null
@@ -1,3 +0,0 @@
-package PSL is
-   pragma Pure (PSL);
-end PSL;