diff options
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 |