diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
index 36c82ae86bc71a5a6653d0459c9a13dc1ec7f4d1..5a43346c9054dbf30ce6f15b68e343a8c8a5e03a 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
@@ -231,7 +231,7 @@ size_t __e_acsl_get_heap_allocation_size(void)
 /*! \brief A variable holding a byte size of tracked heap allocation. */
 extern size_t __e_acsl_heap_allocation_size;
 
-/*@ predicate diffSize{L1,L2}(integer i) =
-  \at(__e_acsl_heap_allocation_size, L1) - \at(__e_acsl_heap_allocation_size, L2) == i;
-*/
+/*@predicate diffSize{L1,L2}(integer i) =
+  \at(__e_acsl_heap_allocation_size, L1)
+    - \at(__e_acsl_heap_allocation_size, L2) == i; */
 #endif