Compare commits

...

1 Commits

Author SHA1 Message Date
yoff
e42def5f44 Fix comparison
This looks like an oversight, index -1 should probably not be a key.
2023-06-22 11:22:05 +02:00

View File

@@ -471,7 +471,7 @@ module Make<InputSig Input> {
* Gets the `i`th key of this mapping.
*/
YamlNode getKeyNode(int i) {
i >= 0 and
i > 0 and
exists(int j | i = j - 1 and result = this.getChildNode(j))
}