diff options
Diffstat (limited to 'src/vhdl/vhdl-parse_psl.ads')
| -rw-r--r-- | src/vhdl/vhdl-parse_psl.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-parse_psl.ads b/src/vhdl/vhdl-parse_psl.ads index f7128ac40..10446a0e1 100644 --- a/src/vhdl/vhdl-parse_psl.ads +++ b/src/vhdl/vhdl-parse_psl.ads @@ -20,7 +20,7 @@ with PSL.Types; use PSL.Types; with Vhdl.Tokens; use Vhdl.Tokens; package Vhdl.Parse_Psl is - function Parse_Psl_Sequence (Full_Hdl_Expr : Boolean) return PSL_Node; + 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; |