Update to java-cup 11b-20160615

jflex-de · Dec 1, 2019 · 5604f3d · 5604f3d
1 parent 69539a2
commit 5604f3d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/third_party/cup/BUILD b/third_party/cup/BUILD
@@ -5,7 +5,7 @@ package(default_visibility = ["//visibility:public"])
 
 licenses(["notice"])  # CUP License
 
-# Version 11b-29160615
+# Version java-cup-bin-11b-20160615
 java_import(
     name = "cup",
     jars = ["java-cup-11b.jar"],

diff --git a/third_party/cup/java-cup-11b.jar b/third_party/cup/java-cup-11b.jar