From d51055e0ccbfdd09a05e49638dae42284a6db912 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 27 Oct 2018 14:07:38 +0100 Subject: [PATCH] Use libcvc3 from artifacts.logicalhacking.com. --- src/com.logicalhacking.dasca.dataflow/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/com.logicalhacking.dasca.dataflow/build.gradle b/src/com.logicalhacking.dasca.dataflow/build.gradle index 9d432e5..fe763b5 100644 --- a/src/com.logicalhacking.dasca.dataflow/build.gradle +++ b/src/com.logicalhacking.dasca.dataflow/build.gradle @@ -10,7 +10,7 @@ dependencies { compile group: 'com.ibm.wala', name: 'com.ibm.wala.cast.java.ecj', version: walaVersion compile group: 'junit', name: 'junit', version:'4.12' compile group: 'log4j', name: 'log4j', version:'1.2.17' - compile name: 'libcvc3-5.0.0' + compile group: 'cvc3', name: 'libcvc3', version: '5.0.0' compile 'org.eclipse.platform:org.eclipse.equinox.common:3.10.100' compile 'org.eclipse.platform:org.eclipse.core.resources:3.13.100' compile 'org.eclipse.platform:org.eclipse.core.runtime:3.15.0'