Skip to content

Commit

Permalink
fix: valued locals
Browse files Browse the repository at this point in the history
  • Loading branch information
jumanji144 committed Jun 17, 2024
1 parent 1ab6a43 commit 864e7f1
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 @@ -287,7 +287,7 @@ record VoidValue() implements ObjectValue {
}

/** Value of object content. */
sealed interface ObjectValue extends Value {
non-sealed interface ObjectValue extends Value {
/**
* @return Value's type.
*/
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,6 @@ public int hashCode() {

@Override
public String toString() {
return "ValuedLocal{" + "index=" + index + +'\'' + ", name='" + name + '\'' + ", value=" + value + '}';
return "ValuedLocal{" + "index=" + index + "'" + ", name='" + name + '\'' + ", value=" + value + '}';
}
}

0 comments on commit 864e7f1

Please sign in to comment.