Skip to content

Commit

Permalink
v1.4.1
Browse files Browse the repository at this point in the history
  • Loading branch information
valis committed Jul 29, 2020
1 parent 5f82ea9 commit ba1e6a9
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ public class ModuleSerialization {
private final Set<Integer> myCurrentDefinitions = new HashSet<>();
private boolean myComplete;

static final int VERSION = 4;
static final int VERSION = 5;

public ModuleSerialization(ErrorReporter errorReporter) {
myErrorReporter = errorReporter;
Expand Down
2 changes: 1 addition & 1 deletion build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ antlrVersion = "4.8"

allprojects {
group = "org.arend"
version = "1.4.0"
version = "1.4.1"
repositories {
jcenter()
mavenCentral()
Expand Down

0 comments on commit ba1e6a9

Please sign in to comment.