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