From e61e64c6d4d6531a46b5d9232eb35fd65ca9889a Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 16 Dec 2024 13:31:39 -0800
Subject: [PATCH] Verilog: use ID_ for SVA expressions in grammar

---
 src/verilog/parser.y | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/verilog/parser.y b/src/verilog/parser.y
index ccff7994c..21666b37a 100644
--- a/src/verilog/parser.y
+++ b/src/verilog/parser.y
@@ -2347,17 +2347,17 @@ property_expr_proper:
 	| sequence_expr "#=#" property_expr
 		{ init($$, ID_sva_nonoverlapped_followed_by); mto($$, $1); mto($$, $3); }
 	| "nexttime" property_expr
-		{ init($$, "sva_nexttime"); mto($$, $2); }
+		{ init($$, ID_sva_nexttime); mto($$, $2); }
 	| "nexttime" '[' constant_expression ']' property_expr %prec "nexttime"
-		{ init($$, "sva_indexed_nexttime"); mto($$, $3); mto($$, $5); }
+		{ init($$, ID_sva_indexed_nexttime); mto($$, $3); mto($$, $5); }
 	| "s_nexttime" property_expr
-		{ init($$, "sva_s_nexttime"); mto($$, $2); }
+		{ init($$, ID_sva_s_nexttime); mto($$, $2); }
 	| "s_nexttime" '[' constant_expression ']' property_expr %prec "s_nexttime"
-		{ init($$, "sva_indexed_s_nexttime"); mto($$, $3); mto($$, $5); }
+		{ init($$, ID_sva_indexed_s_nexttime); mto($$, $3); mto($$, $5); }
 	| "always" '[' cycle_delay_const_range_expression ']' property_expr %prec "always"
 		{ init($$, ID_sva_ranged_always); swapop($$, $3); mto($$, $5); }
 	| "always" property_expr
-		{ init($$, "sva_always"); mto($$, $2); }
+		{ init($$, ID_sva_always); mto($$, $2); }
 	| "s_always" '[' constant_range ']' property_expr %prec "s_always"
 		{ init($$, ID_sva_s_always); swapop($$, $3); mto($$, $5); }
 	| "s_eventually" property_expr
@@ -2367,13 +2367,13 @@ property_expr_proper:
 	| "s_eventually" '[' cycle_delay_const_range_expression ']' property_expr %prec "s_eventually"
 		{ init($$, ID_sva_ranged_s_eventually); swapop($$, $3); mto($$, $5); }
 	| property_expr "until" property_expr
-		{ init($$, "sva_until"); mto($$, $1); mto($$, $3); }
+		{ init($$, ID_sva_until); mto($$, $1); mto($$, $3); }
 	| property_expr "s_until" property_expr
-		{ init($$, "sva_s_until"); mto($$, $1); mto($$, $3); }
+		{ init($$, ID_sva_s_until); mto($$, $1); mto($$, $3); }
 	| property_expr "until_with" property_expr
-		{ init($$, "sva_until_with"); mto($$, $1); mto($$, $3); }
+		{ init($$, ID_sva_until_with); mto($$, $1); mto($$, $3); }
 	| property_expr "s_until_with" property_expr
-		{ init($$, "sva_s_until_with"); mto($$, $1); mto($$, $3); }
+		{ init($$, ID_sva_s_until_with); mto($$, $1); mto($$, $3); }
 	| property_expr "implies" property_expr
 		{ init($$, ID_sva_implies); mto($$, $1); mto($$, $3); }
 	| property_expr "iff" property_expr