From 530d978c90338c80a43b08ac6c5dd683702118bc Mon Sep 17 00:00:00 2001
From: Jakob L. Kreuze
Date: Tue, 7 Nov 2023 19:41:26 -0500
Subject: Fix parsing issue for set rules

---
 rego-proofs/compiler-rewrite/lib/ast.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rego-proofs/compiler-rewrite/lib/ast.ml b/rego-proofs/compiler-rewrite/lib/ast.ml
index 387e1eb..6a43425 100644
--- a/rego-proofs/compiler-rewrite/lib/ast.ml
+++ b/rego-proofs/compiler-rewrite/lib/ast.ml
@@ -213,7 +213,7 @@ let parse_head tree =
     if tree |> member "assign" |> to_bool_or_false then Assign else Unify
   in
   let rhs =
-    if (tree |> member "key" |> is_null) && (not (tree |> member "key" |> is_null)) then
+    if (tree |> member "value" |> is_null) && (not (tree |> member "key" |> is_null)) then
       Set (tree |> member "key" |> parse_term)
     else if not (tree |> member "args" |> is_null) then
       Function
-- 
cgit v1.3