diff --git a/prefetch_buffer.sv b/prefetch_buffer.sv
index d5cd991a..d8149ef3 100644
--- a/prefetch_buffer.sv
+++ b/prefetch_buffer.sv
@@ -323,7 +323,7 @@ module riscv_fetch_fifo
     @(posedge clk) (in_valid_i) |-> ((valid_Q[DEPTH-1] == 1'b0) || (clear_i == 1'b1) || (in_replace2_i == 1'b1)) );
   `else 
   assert property (
-    @(posedge clk) (in_valid_i) |-> ((valid_Q[DEPTH-1] == 1'b0) || (clear_i == 1'b1) );
+    @(posedge clk) (in_valid_i) |-> ((valid_Q[DEPTH-1] == 1'b0) || (clear_i == 1'b1)) );
   `endif
 
 endmodule