Skip to content

Commit

Permalink
deps/k: update submodule 6.0.62
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Aug 17, 2023
1 parent a6b2c72 commit 39fa84c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/k
Submodule k updated 12 files
+1 −1 install-k
+7 −0 k-distribution/tests/regression-new/checks/attParamForbidden.k
+5 −0 k-distribution/tests/regression-new/checks/attParamForbidden.k.out
+7 −0 k-distribution/tests/regression-new/checks/attParamRequired.k
+5 −0 k-distribution/tests/regression-new/checks/attParamRequired.k.out
+6 −1 kernel/src/main/java/org/kframework/kil/ASTNode.java
+1 −1 kernel/src/main/java/org/kframework/parser/inner/RuleGrammarGenerator.java
+2 −2 kernel/src/main/java/org/kframework/parser/inner/kernel/KSyntax2Bison.java
+140 −108 kore/src/main/scala/org/kframework/attributes/Att.scala
+1 −1 package/arch/PKGBUILD
+1 −1 package/debian/changelog
+1 −1 package/version

0 comments on commit 39fa84c

Please sign in to comment.