From 7e3b240f1c573b55490f996f5169dd2ea610f703 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 15 May 2017 15:47:03 +0200
Subject: [PATCH] Comments
---
src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
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 36c82ae86bc..5a43346c905 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
--
GitLab