aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/validate-tree.c
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/mds-kbdc/validate-tree.c4
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;
}