antlr4: default to antlr4_13

This commit is contained in:
Nick Cao 2023-06-19 17:09:22 +08:00
parent ca9144be02
commit 5ca54e9579
No known key found for this signature in database

View file

@ -18605,7 +18605,7 @@ with pkgs;
antlr4_12
antlr4_13;
antlr4 = antlr4_12;
antlr4 = antlr4_13;
antlr = antlr4;