aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-06-30 18:42:53 +0200
committerTristan Gingold <tgingold@free.fr>2020-06-30 19:34:50 +0200
commit1cc80ba8063de7083de78fc0473a1e5d6999a111 (patch)
treed0d4248123dda129a4624e50f86fbc8cad613906 /src/psl
parentaedbcc715e099335d28e1e06934e75263bd335e9 (diff)
downloadghdl-1cc80ba8063de7083de78fc0473a1e5d6999a111.tar.gz
ghdl-1cc80ba8063de7083de78fc0473a1e5d6999a111.tar.bz2
ghdl-1cc80ba8063de7083de78fc0473a1e5d6999a111.zip
vhdl-sem_psl: avoid a crash in synth on incorrect clock.
Diffstat (limited to 'src/psl')
-rw-r--r--src/psl/psl-rewrites.ads1
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);