diff options
| author | Jakob L. Kreuze | 2023-11-01 19:32:57 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-11-01 19:42:59 -0400 |
| commit | 037a0a6e422a01eb02005afdce27bdacbe066890 (patch) | |
| tree | 7ec46d7d0f472328220ab77b04b93b5e42d9318c | |
| parent | ef8d9069f5a39c3d7803a1edce97adf91d39a2a6 (diff) | |
Fix assignment rule parsing
| -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 052496d..1ac227d 100644 --- a/rego-proofs/compiler-rewrite/lib/ast.ml +++ b/rego-proofs/compiler-rewrite/lib/ast.ml @@ -203,7 +203,7 @@ let parse_head tree = if tree |> member "assign" |> to_bool_or_false then Assign else Unify in let rhs = - if not (tree |> member "key" |> is_null) then + if (tree |> member "key" |> is_null) && (not (tree |> member "key" |> is_null)) then Set (tree |> member "key" |> parse_term) else if tree |> member "args" |> to_bool_or_false then Function |