diff --git a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
index 2d927669096d26ad0282cfde0c03c1e47c5cb299..a3abd3674abba6e1762f2018448959e837ec60c7 100644
--- a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
+++ b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
@@ -19,13 +19,15 @@ int main(void) {
 
   /*@ assert \numof(2, 10, \lambda integer k; k - 2 >= 0) == 9; */;
   /*@ assert \numof(UINT_MAX - 5, UINT_MAX, \lambda integer k; k % 2 == 1)
-    @        == 3; */;
+    @        == 3; */
+  ;
 
   /*@ assert \product(1, 100, \lambda integer k; k) >= 3628800; */;
   /*@ assert \product(1, 10, \lambda integer k; k) == 3628800; */;
   /*@ assert \product(-10, 10, \lambda integer k; k) == 0; */;
   /*@ assert \product(-20, -1, \lambda integer k; 2 * k)
-    @     == \product(1, 20, \lambda integer k; 2 * k); */;
+    @     == \product(1, 20, \lambda integer k; 2 * k); */
+  ;
 
   return 0;
 }