From f53f76c813f709540bcb216124d97d722a79f075 Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 16 Oct 2018 13:34:41 +0200
Subject: [PATCH] Added Jautomata lib to project

---
 src/.classpath | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/.classpath b/src/.classpath
index 5f8345db70..9c5d815db3 100644
--- a/src/.classpath
+++ b/src/.classpath
@@ -17,5 +17,6 @@
 	<classpathentry kind="lib" path="/libs/batik-awt-util.jar"/>
 	<classpathentry kind="lib" path="/libs/batik-xml.jar"/>
 	<classpathentry kind="lib" path="/libs/batik-util.jar"/>
+	<classpathentry kind="lib" path="/libs/jautomata-core.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
-- 
GitLab