diff --git a/cedar b/cedar
index 13e3eeda7..a9d2ed5a5 160000
--- a/cedar
+++ b/cedar
@@ -1 +1 @@
-Subproject commit 13e3eeda734988b92b5760246d78c4204dd91e5b
+Subproject commit a9d2ed5a59052df73ebe1a89e2b5827ac1664925
diff --git a/cedar-dafny/difftest/main.dfy b/cedar-dafny/difftest/main.dfy
index 64f7b002a..39dd1db04 100644
--- a/cedar-dafny/difftest/main.dfy
+++ b/cedar-dafny/difftest/main.dfy
@@ -549,9 +549,11 @@ module difftest.main {
       data => (
           var appliesTo :- deserializeField(data, "appliesTo", applySpecFromProdJson);
           var descendants :- deserializeField(data, "descendants", setDeserializer(entityUIDFromProdJson));
-          var context :- getJsonField(data, "context");
-          var context1 :- deserializeField(context, "attrs", attrTypesFromProdJsonObject);
-          Ok(TypecheckerActionId(appliesTo, descendants, context1))
+          var context :- deserializeField(data, "context", typeFromProdJson);
+          match context {
+            case Record(rty) => Ok(TypecheckerActionId(appliesTo, descendants, rty.attrs))
+            case _ => Err({UnexpectedFromProdErr("context should be record-typed")})
+          }
         ),
       (uid, act) => Ok((uid, act))
     )