Bump release version to 2.3.2 (#103)

cedar-policy · Aug 10, 2023 · 19fe243 · 19fe243
1 parent df64d9b
commit 19fe243
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/cedar b/cedar
diff --git a/cedar-dafny/difftest/main.dfy b/cedar-dafny/difftest/main.dfy
@@ -98,11 +98,6 @@ module difftest.main {
         "Neg" := Neg
       ]);
 
-  const extFuncOpFromProdJson :=
-    objDeserializer1Field(
-      "function_name", nameFromProdJson,
-      name => Ok(name));
-
   function exprFromProdJson(j: Json): FromProdResult<Expr> {
     var jkind :- getJsonField(j, "expr_kind");
     var exprFromProdJsonRec := jr requires jr < jkind => exprFromProdJson(jr);
@@ -156,7 +151,7 @@ module difftest.main {
         var cons :- deserializeField(body, "constant", getJsonInt);
         Ok(UnaryApp(MulBy(cons), arg))
       case "ExtensionFunctionApp" =>
-        var name :- deserializeField(body, "op", extFuncOpFromProdJson);
+        var name :- deserializeField(body, "fn_name", nameFromProdJson);
         var jargs :- getJsonField(body, "args");
         var args :- deserializeSeq(jargs, exprFromProdJsonRec);
         Ok(Expr.Call(name, args))