diff options
Diffstat (limited to 'src/psl/psl-rewrites.ads')
-rw-r--r-- | src/psl/psl-rewrites.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-rewrites.ads b/src/psl/psl-rewrites.ads index ac76b7805..bb1eb58bc 100644 --- a/src/psl/psl-rewrites.ads +++ b/src/psl/psl-rewrites.ads @@ -1,6 +1,7 @@ with PSL.Nodes; use PSL.Nodes; package PSL.Rewrites is + function Rewrite_Boolean (N : Node) return Node; function Rewrite_SERE (N : Node) return Node; function Rewrite_Property (N : Node) return Node; procedure Rewrite_Unit (N : Node); |