diff options
author | Tristan Gingold <tgingold@free.fr> | 2023-01-31 18:47:49 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2023-01-31 18:47:49 +0100 |
commit | 00053acee65234c5d96c329e573f219d031c6aca (patch) | |
tree | d595c2873e1655e25210272b47a2cb201845c10b /src/psl/psl-disp_nfas.ads | |
parent | 50758607ddb6c5c96fc4d26e795cb37d83272768 (diff) | |
download | ghdl-00053acee65234c5d96c329e573f219d031c6aca.tar.gz ghdl-00053acee65234c5d96c329e573f219d031c6aca.tar.bz2 ghdl-00053acee65234c5d96c329e573f219d031c6aca.zip |
psl-disp_nfas: add Dump_NFA
Diffstat (limited to 'src/psl/psl-disp_nfas.ads')
-rw-r--r-- | src/psl/psl-disp_nfas.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/psl/psl-disp_nfas.ads b/src/psl/psl-disp_nfas.ads index f40e8699d..bdfce022b 100644 --- a/src/psl/psl-disp_nfas.ads +++ b/src/psl/psl-disp_nfas.ads @@ -25,4 +25,7 @@ package PSL.Disp_NFAs is procedure Disp_State (S : NFA_State); procedure Disp_NFA (N : NFA; Name : String := "nfa"); + + -- For debug. + procedure Dump_NFA (N : NFA); end PSL.Disp_NFAs; |