From e8885dfa5a976fa9663c7eee3e96b3f7727b2a8f Mon Sep 17 00:00:00 2001
From: Kesha Hietala <khieta@amazon.com>
Date: Wed, 15 Nov 2023 17:41:55 -0500
Subject: [PATCH] fix json deserialization

---
 cedar-dafny/difftest/main.dfy | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/cedar-dafny/difftest/main.dfy b/cedar-dafny/difftest/main.dfy
index ed3be6ddd..699b26ec6 100644
--- 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))
+                    )
         ])
   }