diff options
Diffstat (limited to 'src/vhdl/parse_psl.ads')
| -rw-r--r-- | src/vhdl/parse_psl.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vhdl/parse_psl.ads b/src/vhdl/parse_psl.ads index 62869feb8..160df668e 100644 --- a/src/vhdl/parse_psl.ads +++ b/src/vhdl/parse_psl.ads @@ -20,6 +20,7 @@ with Types; use Types; with Tokens; use Tokens; package Parse_Psl is + function Parse_Psl_Sequence return PSL_Node; function Parse_Psl_Property return PSL_Node; function Parse_Psl_Boolean return PSL_Node; function Parse_Psl_Declaration (Tok : Token_Type) return PSL_Node; |