diff options
Diffstat (limited to 'project/plugins.sbt')
-rw-r--r-- | project/plugins.sbt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/project/plugins.sbt b/project/plugins.sbt index d9ed7962bf..4929ba3c4d 100644 --- a/project/plugins.sbt +++ b/project/plugins.sbt @@ -22,9 +22,6 @@ libraryDependencies += "org.ow2.asm" % "asm" % "5.0.3" libraryDependencies += "org.ow2.asm" % "asm-commons" % "5.0.3" -libraryDependencies += "org.antlr" % "antlr" % "3.5.2" - - // TODO I am not sure we want such a dep. resolvers += "simplytyped" at "http://simplytyped.github.io/repo/releases" |