From 4b20d12f7983b0b1811eb765b005602ebc6a2225 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Tue, 26 Feb 2019 14:26:32 +0100
Subject: [PATCH] Updating ttool-cli with the right libs

---
 ttool-cli/manifest.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ttool-cli/manifest.txt b/ttool-cli/manifest.txt
index 4383c1a9a7..f71b884ab1 100755
--- a/ttool-cli/manifest.txt
+++ b/ttool-cli/manifest.txt
@@ -1,2 +1,2 @@
 Main-Class: TToolCLI
-Class-Path: ./com.microsoft.z3.jar
+Class-Path: jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-1.3.jar gs-ui-1.3.jar commons-io-2.5.jar commons-math3-3.6.1.jar batik-awt-util.jar batik-dom.jar batik-svggen.jar batik-util.jar batik-xml.jar jautomata-core.jar com.microsoft.z3.jar
-- 
GitLab