Skip to content
Snippets Groups Projects
Commit 9c824b6c authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Fix use of slf4j so that leon-web works.

parent 25a5d2c7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
build.sbt
+ 1
− 1
View file @ 9c824b6c
...@@ -42,7 +42,7 @@ libraryDependencies ++= Seq( ...@@ -42,7 +42,7 @@ libraryDependencies ++= Seq(
"com.typesafe.akka" %% "akka-actor" % "2.3.4", "com.typesafe.akka" %% "akka-actor" % "2.3.4",
"info.hupel" %% "libisabelle" % libisabelleVer, "info.hupel" %% "libisabelle" % libisabelleVer,
"info.hupel" %% "libisabelle-setup" % 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", "org.ow2.asm" % "asm-all" % "5.0.4",
"com.fasterxml.jackson.module" %% "jackson-module-scala" % "2.6.0-rc2"//, "com.fasterxml.jackson.module" %% "jackson-module-scala" % "2.6.0-rc2"//,
//"com.regblanc" %% "scala-smtlib" % "0.2" //"com.regblanc" %% "scala-smtlib" % "0.2"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment