|
|
|
@ -4324,6 +4324,7 @@ var PartialEvaluator = (function() {
@@ -4324,6 +4324,7 @@ var PartialEvaluator = (function() {
|
|
|
|
|
baseEncoding = Encodings[baseName.name].slice(); |
|
|
|
|
|
|
|
|
|
// Load the differences between the base and original
|
|
|
|
|
if (encoding.has('Differences')) { |
|
|
|
|
var diffEncoding = encoding.get('Differences'); |
|
|
|
|
var index = 0; |
|
|
|
|
for (var j = 0; j < diffEncoding.length; j++) { |
|
|
|
@ -4333,6 +4334,7 @@ var PartialEvaluator = (function() {
@@ -4333,6 +4334,7 @@ var PartialEvaluator = (function() {
|
|
|
|
|
else |
|
|
|
|
differences[index++] = data.name; |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
} else if (IsName(encoding)) { |
|
|
|
|
baseEncoding = Encodings[encoding.name].slice(); |
|
|
|
|
} else { |
|
|
|
|