From 9c824b6c74c9babdacded068a643d66e41e6df15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Wed, 20 Apr 2016 11:23:27 +0200
Subject: [PATCH] Fix use of slf4j so that leon-web works.

---
 build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index 618d4f2ba..53ddafcf8 100644
--- a/build.sbt
+++ b/build.sbt
@@ -42,7 +42,7 @@ libraryDependencies ++= Seq(
   "com.typesafe.akka" %% "akka-actor" % "2.3.4",
   "info.hupel" %% "libisabelle" % libisabelleVer,
   "info.hupel" %% "libisabelle-setup" % libisabelleVer,
-  "info.hupel" %% "slf4j-impl-helper" % "0.1",
+  "info.hupel" %% "slf4j-impl-helper" % "0.1" % "optional",
   "org.ow2.asm" % "asm-all" % "5.0.4",
   "com.fasterxml.jackson.module" %% "jackson-module-scala" % "2.6.0-rc2"//,
   //"com.regblanc" %% "scala-smtlib" % "0.2"
-- 
GitLab