diff options
Diffstat (limited to 'src/psl/psl-nodes_priv.ads')
| -rw-r--r-- | src/psl/psl-nodes_priv.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-nodes_priv.ads b/src/psl/psl-nodes_priv.ads index 5c0bf51d0..9927b8bde 100644 --- a/src/psl/psl-nodes_priv.ads +++ b/src/psl/psl-nodes_priv.ads @@ -20,6 +20,7 @@ with Types; use Types; package PSL.Nodes_Priv is -- PSL Node. type PSL_Node is new Int32; + Null_PSL_Node : constant PSL_Node := 0; -- PSL NFA type PSL_NFA is new Int32; |