diff options
| author | Jakob L. Kreuze | 2023-11-07 19:41:26 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-11-07 19:41:26 -0500 |
| commit | 530d978c90338c80a43b08ac6c5dd683702118bc (patch) | |
| tree | bb5c4af800a4712ec4a37d675eebafcea5633398 /rego-proofs/compiler-rewrite/lib/ast.ml | |
| parent | 030605fbfb3fc876a9bf4df9ada6f60abe9e6198 (diff) | |
Fix parsing issue for set rules
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/ast.ml')
| -rw-r--r-- | rego-proofs/compiler-rewrite/lib/ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |