diff --git a/ttool-cli/manifest.txt b/ttool-cli/manifest.txt index 4383c1a9a79eb8640a73ff4a9889afac831d1d17..f71b884ab16c9a2e4c5597b71b45ab6d115fadd7 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