From eaefaceeaec39e5f67a1db3281a19f996ad2ee7f Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Wed, 6 Mar 2019 18:08:37 +0100
Subject: [PATCH] Added Z3 libs

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

diff --git a/src/.classpath b/src/.classpath
index 9c5d815db3..2d03e246bc 100644
--- a/src/.classpath
+++ b/src/.classpath
@@ -18,5 +18,6 @@
 	<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/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