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; |