diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-12-01 11:37:56 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-12-01 11:37:56 +0100 |
| commit | 299146464ef96d99df7695aab9ec985e2b634ef6 (patch) | |
| tree | 791a14061726588b98642a4c9a404db468d31f90 /src/mds-kbdc | |
| parent | mds-kbdc: we cannot at the validation level determine if a value-statment is a set-statement, therefore, we do not validate value-statements yet (diff) | |
| download | mds-299146464ef96d99df7695aab9ec985e2b634ef6.tar.gz mds-299146464ef96d99df7695aab9ec985e2b634ef6.tar.bz2 mds-299146464ef96d99df7695aab9ec985e2b634ef6.tar.xz | |
m
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'src/mds-kbdc')
| -rw-r--r-- | src/mds-kbdc/validate-tree.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mds-kbdc/validate-tree.c b/src/mds-kbdc/validate-tree.c index 05c7555..73ec07e 100644 --- a/src/mds-kbdc/validate-tree.c +++ b/src/mds-kbdc/validate-tree.c @@ -338,10 +338,10 @@ static int validate_assumption(mds_kbdc_tree_assumption_t* restrict tree) NEW_ERROR_WITH_INCLUDES(assumption, def_includes_ptr, NOTE, "outer assumption clause defined here"); return 0; } - information = tree; + assumption = tree; def_includes_ptr = includes_ptr; r = validate_subtree(tree->inner); - return information = NULL, r; + return assumption = NULL, r; pfail: return -1; } |