From 636603f8791f390e3fe37d6dada29c233ea1f84d Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 11 Jun 2019 11:39:06 +0200
Subject: [PATCH] Added missing libraries

---
 src/.classpath   | 2 ++
 ttool/.classpath | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/.classpath b/src/.classpath
index 9c5d815db3..52a7ed71d3 100644
--- a/src/.classpath
+++ b/src/.classpath
@@ -18,5 +18,7 @@
 	<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="lib" path="/libs/jna-3.3.0.jar"/>
+	<classpathentry kind="lib" path="/libs/com.microsoft.z3.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/ttool/.classpath b/ttool/.classpath
index 9da0c3f79b..b7514d8a80 100644
--- a/ttool/.classpath
+++ b/ttool/.classpath
@@ -17,5 +17,6 @@
 	<classpathentry kind="lib" path="/libs/assertj/assertj-swing/3.8.0/assertj-swing-3.8.0-sources.jar"/>
 	<classpathentry kind="lib" path="/libs/hamcrest-core-1.3.jar"/>
 	<classpathentry kind="lib" path="/libs/commons-io-2.5.jar"/>
+	<classpathentry kind="lib" path="/libs/com.microsoft.z3.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
-- 
GitLab