1 files changed, 7 insertions, 0 deletions
diff --git a/src/psl/psl-build.ads b/src/psl/psl-build.ads
new file mode 100644
index 000000000..d0ca26a39
--- /dev/null
+++ b/src/psl/psl-build.ads
@@ -0,0 +1,7 @@
+with PSL.Nodes; use PSL.Nodes;
+
+package PSL.Build is
+   Optimize_Final : Boolean := True;
+
+   function Build_FA (N : Node) return NFA;
+end PSL.Build;