From 41ee613b958d642d078c47b5a426d524aed9d94e Mon Sep 17 00:00:00 2001
From: LIBONI Giovanni <giovanni.liboni@inria.fr>
Date: Fri, 15 Nov 2019 13:44:24 +0100
Subject: [PATCH] Minor update
---
examples/Example14/CMS_AB.mcl | 2 +-
.../src/fr/inria/glose/mcl/generator/PartialOrder.xtend | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/examples/Example14/CMS_AB.mcl b/examples/Example14/CMS_AB.mcl
index 6e664a23..ee972b9b 100644
--- a/examples/Example14/CMS_AB.mcl
+++ b/examples/Example14/CMS_AB.mcl
@@ -11,4 +11,4 @@ Connector BA
when every 5 B.t
sync A.t = B.t
do
- B.m -> A.w
\ No newline at end of file
+ B.m -> A.w
\ No newline at end of file
diff --git a/plugins/mcl/fr.inria.glose.mcl.xtext/src/fr/inria/glose/mcl/generator/PartialOrder.xtend b/plugins/mcl/fr.inria.glose.mcl.xtext/src/fr/inria/glose/mcl/generator/PartialOrder.xtend
index 6b160355..4c69798e 100644
--- a/plugins/mcl/fr.inria.glose.mcl.xtext/src/fr/inria/glose/mcl/generator/PartialOrder.xtend
+++ b/plugins/mcl/fr.inria.glose.mcl.xtext/src/fr/inria/glose/mcl/generator/PartialOrder.xtend
@@ -84,7 +84,7 @@ class PartialOrder {
}]
}]
- logger.info("[BuildGrph] Completed")
+ logger.info("[BuildGrph] Completed")
}
def partialOrder() {
--
GitLab