From 9c195bf5d86d67ea5eb419ccf6e48dc153e57c68 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 4 Nov 2014 20:14:19 +0100
Subject: Move sources to src/ subdirectory.

---
 src/psl/psl-disp_nfas.ads | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/psl/psl-disp_nfas.ads

(limited to 'src/psl/psl-disp_nfas.ads')

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;
-- 
cgit v1.2.3