Update DocsSpace.js

This commit is contained in:
Luis Fernando Molina committed 2020-12-13 19:34:42 +01:00
1 parent 916e945877
commit b5f5349606
1 file changed
+3 -1
@@ -1023,7 +1023,9 @@ function newSuperalgosDocSpace() {
if (valueArray === undefined) {
propertyMap.set(property, [value])
} else {
valueArray.push(value)
if (valueArray.includes(value) === false) {
valueArray.push(value)
}
}
}
}