1 files changed, 12 insertions, 0 deletions
diff --git a/src/psl/psl-disp_nfas.ads b/src/psl/psl-disp_nfas.ads
new file mode 100644
index 000000000..901eed72f
--- /dev/null
+++ b/src/psl/psl-disp_nfas.ads
@@ -0,0 +1,12 @@
+with PSL.NFAs; use PSL.NFAs;
+with PSL.Nodes; use PSL.Nodes;
+
+package PSL.Disp_NFAs is
+   procedure Disp_Head (Name : String);
+   procedure Disp_Tail;
+   procedure Disp_Body (N : NFA);
+
+   procedure Disp_State (S : NFA_State);
+
+   procedure Disp_NFA (N : NFA; Name : String := "nfa");
+end PSL.Disp_NFAs;