WIP

GillianPlatform · Apr 2, 2023 · 9695913 · 9695913
1 parent 72fe6be
commit 9695913
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Gillian-JS/Examples/Amazon/deserialize_factory.js b/Gillian-JS/Examples/Amazon/deserialize_factory.js
@@ -166,9 +166,9 @@ function readElements(elementCount, fieldsPerElement, buffer, readPos) {
       /* @tactic
           assert (#remElList == #fld :: #rfld) [bind: #fld, #rfld];
           if ((#definition = "Complete") or (not (#remElsList = {{ }}))) then {
-              apply AppendFieldCC(#view, #outerLoopReadPos, #fCount - #fLeft, #doneElList, #doneElLength, #fLeft, #fld, #rfld, #remElLength)
+              apply AppendFieldCCJS(#view, #outerLoopReadPos, #fCount - #fLeft, #doneElList, #doneElLength, #fLeft, #fld, #rfld, #remElLength)
           } else {
-              apply AppendFieldCI(#view, #outerLoopReadPos, #fCount - #fLeft, #doneElList, #doneElLength, #fLeft, #fld, #rfld, #remElLength)
+              apply AppendFieldCIJS(#view, #outerLoopReadPos, #fCount - #fLeft, #doneElList, #doneElLength, #fLeft, #fld, #rfld, #remElLength)
           } */
       element.push(fieldBinary)
     }