frontend/pom.xml: kore dependency version 1.1 => 0.1

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

Closed msaxena2 closed 6 years ago

msaxena2 commented 6 years ago

K depends on a BETA version of kore(2.12-0.1). The latest release (2.12-1.1) is incompatible.
This fixes the breaking master build.

msaxena2 commented 6 years ago

Since this is a small patch to fix a broken master, I'm merging it without a review. We can revert later, if the need arises.