From cc959e275fcfab6949edac8266d08bd5f41d9f4e Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Wed, 19 Sep 2018 12:27:12 +0200
Subject: [PATCH] Removing a TURTLE id for lib save

---
 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 05484d9717..b9e4bef033 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -2783,7 +2783,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
                 FileOutputStream fos = new FileOutputStream(libfile);
                 fos.write(data.getBytes());
                 fos.close();
-                JOptionPane.showMessageDialog(frame, "Modeling was correctly saved under a TURTLE library named " + libfile.getName(), "Saving", JOptionPane.INFORMATION_MESSAGE);
+                JOptionPane.showMessageDialog(frame, "Modeling was correctly saved under a TTool library named " + libfile.getName(), "Saving", JOptionPane.INFORMATION_MESSAGE);
                 return;
             } catch (Exception e) {
                 JOptionPane.showMessageDialog(frame, "File could not be saved because " + e.getMessage(), "File Error", JOptionPane.INFORMATION_MESSAGE);
-- 
GitLab