summaryrefslogtreecommitdiff
path: root/psl/psl-build.ads
blob: d0ca26a39ce374d339117a88a3269bb5fc8fa36b (plain)
1
2
3
4
5
6
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;