From afcd6d1fbaa32a7fd1657cf821e67202858df031 Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Fri, 7 Jul 2017 15:30:14 +0200
Subject: [PATCH] Fixed capitalization ot UPPAAL dialog title
---
src/main/java/ui/MainGUI.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index 4fcd53e892..84ea3a173d 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -4410,7 +4410,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
dtree.toBeUpdated();
} else if (gtm.getLanguageID() == GTURTLEModeling.UPPAAL) {
JDialogUPPAALValidation jduv = new JDialogUPPAALValidation(frame,
- this, "Formal verification with UPPAAL",
+ this, "Formal Verification with UPPAAL",
gtm.getPathUPPAALVerifier(),
gtm.getPathUPPAALFile(),
REMOTE_UPPAAL_FILE,
--
GitLab