Blocking assignment

diff --git a/tests/sat/initval.v b/tests/sat/initval.v
index d46ccae484ae4a779a757e11f080b6a52c25d859..fcec9dd8c341f41c3571d6d21a88203f66459858 100644 (file)
--- a/tests/sat/initval.v
+++ b/tests/sat/initval.v
@@ -13,7 +13,7 @@ module test(input clk, input [3:0] bar, output [3:0] foo);
     last_bar <= bar;
 
   always @*
-    asdf[2:0] <= 3'b111;
+    asdf[2:0] = 3'b111;
 
   assert property (foo == {last_bar[3:2], bar[1:0]});
 endmodule