From e8767e82c1c9efad6a3be28a57a398c5b2f28c8b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 6 Dec 2023 16:26:10 +0100
Subject: [PATCH] Move debug print so it prints immediately after time is
measured
---
.../src/org/eventb/texttools/PersistenceHelper.java | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java b/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
index 4617d4a..5514946 100644
--- a/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
+++ b/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
@@ -205,6 +205,10 @@ public class PersistenceHelper {
long time1 = System.currentTimeMillis();
+ if (DEBUG) {
+ System.out.println("new ModelMerge: " + (time1 - time0));
+ }
+
Registry registry = RegistryImpl.createStandaloneInstance();
IMerger evbMerger = new EventBMerger();
evbMerger.setRanking(100);
@@ -219,7 +223,6 @@ public class PersistenceHelper {
long time2 = System.currentTimeMillis();
if (DEBUG) {
- System.out.println("new ModelMerge: " + (time1 - time0));
System.out.println("merge.applyChanges: " + (time2 - time1));
}
}
--
GitLab