1 files changed, 0 insertions, 10 deletions
diff --git a/psl/psl-cse.ads b/psl/psl-cse.ads
deleted file mode 100644
index e40b0eeb2..000000000
--- a/psl/psl-cse.ads
+++ /dev/null
@@ -1,10 +0,0 @@
-with PSL.Nodes; use PSL.Nodes;
-
-package PSL.CSE is
-   --  Build boolean expressions while trying to make the node uniq.
-   function Build_Bool_And (L, R : Node) return Node;
-   function Build_Bool_Or (L, R : Node) return Node;
-   function Build_Bool_Not (N : Node) return Node;
-
-   procedure Dump_Hash_Table (Level : Natural := 0);
-end PSL.CSE;