fix json deserialization

cedar-policy · Nov 15, 2023 · e8885df · e8885df
1 parent c24a064
commit e8885df
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/cedar-dafny/difftest/main.dfy b/cedar-dafny/difftest/main.dfy
@@ -251,10 +251,11 @@ module difftest.main {
           "In" := bodyDeserializer(entityUIDOrSlotFromProdJson, e => Ok(ScopeTemplate.In(e))),
           "Eq" := bodyDeserializer(entityUIDOrSlotFromProdJson, e => Ok(ScopeTemplate.Eq(e))),
           "Is" := bodyDeserializer(nameFromProdJson, ety => Ok(ScopeTemplate.Is(EntityType(ety)))),
-          "IsIn" := objDeserializer2Fields(
-                      "Name", nameFromProdJson,
-                      "EntityReference", entityUIDOrSlotFromProdJson,
-                      (ety, e) => Ok(ScopeTemplate.IsIn(EntityType(ety),e)))
+          "IsIn" := tupleDeserializer2Elts(
+                      nameFromProdJson,
+                      entityUIDOrSlotFromProdJson,
+                      (ety, e) => Ok(ScopeTemplate.IsIn(EntityType(ety),e))
+                    )
         ])
   }