diff --git a/test/rve/env/model_test.h b/test/rve/env/model_test.h
index 39727de..d5492c7 100644
--- a/test/rve/env/model_test.h
+++ b/test/rve/env/model_test.h
@@ -15,7 +15,7 @@
   li x1, 1;                                                                   \
   write_tohost:                                                               \
     sw x1, tohost, t5;                                                        \
-    ebreak
+    ebreak;                                                                   \
     j write_tohost;
 
 #define RVMODEL_BOOT