1 files changed, 7 insertions, 0 deletions
diff --git a/psl/psl-rewrites.ads b/psl/psl-rewrites.ads
new file mode 100644
index 000000000..ac76b7805
--- /dev/null
+++ b/psl/psl-rewrites.ads
@@ -0,0 +1,7 @@
+with PSL.Nodes; use PSL.Nodes;
+
+package PSL.Rewrites is
+   function Rewrite_SERE (N : Node) return Node;
+   function Rewrite_Property (N : Node) return Node;
+   procedure Rewrite_Unit (N : Node);
+end PSL.Rewrites;