diff --git a/tests/sva/sva_value_change_changed.sv b/tests/sva/sva_value_change_changed.sv
index 8f3a05a2f2e..3ce2078500c 100644
--- a/tests/sva/sva_value_change_changed.sv
+++ b/tests/sva/sva_value_change_changed.sv
@@ -8,9 +8,11 @@ module top (
 		$changed(b)
 	);
 
+	wire x = 'x;
+
 `ifndef FAIL
 	assume property (
-		b !== 'x ##1 $changed(b)
+		b !== x ##1 $changed(b)
 	);
 `endif