diff --git a/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c b/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
index 686c78bb30d91e3f28b125198ec09253b77c7e7e..918ee7158336f8488f8767940f26c1ccd6a6c5f7 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
+++ b/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
@@ -167,8 +167,7 @@ int main(void)
   i = 4;
   while (1) {
     int tmp;
-    {
-      /*sequence*/
+    { /* sequence */
       tmp = i;
       i --;
       ;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
index a4bb6efa875c8b9e6f4dce4c8d1b3e5d06cf9a66..acac3c564bb909bb30466ba9847de8fe3d767f20 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
@@ -127,8 +127,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
     __retres = (unsigned long long)1;
     goto return_label;
   }
-  {
-    /*sequence*/
+  { /* sequence */
     tmp_0 = my_pow(x,n / (unsigned int)2);
     tmp = (int)tmp_0;
   }
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
index 983c49f3da40b18fff7a063a321ed8ffb7d92e71..a885cae43163acac46f1352e2f05a17855b2fa42 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
@@ -122,8 +122,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
     __retres = (unsigned long long)1;
     goto return_label;
   }
-  {
-    /*sequence*/
+  { /* sequence */
     tmp_0 = my_pow(x,n / (unsigned int)2);
     tmp = (int)tmp_0;
   }