1 files changed, 0 insertions, 7 deletions
diff --git a/psl/psl-build.ads b/psl/psl-build.ads
deleted file mode 100644
index d0ca26a39..000000000
--- a/psl/psl-build.ads
+++ /dev/null
@@ -1,7 +0,0 @@
-with PSL.Nodes; use PSL.Nodes;
-
-package PSL.Build is
-   Optimize_Final : Boolean := True;
-
-   function Build_FA (N : Node) return NFA;
-end PSL.Build;