try to infer nullity predicate inside update_predicate_tree. Maybe rethink about...

[c11tester.git] / predicate.h

diff --git a/predicate.h b/predicate.h
index 3efd89056261298074eff295c0d246559eb7eb35..dd1011495fad8d3bc2d848f04e195305435f15c6 100644 (file)
--- a/predicate.h
+++ b/predicate.h
@@ -10,7 +10,7 @@ typedef HashSet<struct pred_expr *, uintptr_t, 0, model_malloc, model_calloc, mo
 typedef HSIterator<struct pred_expr *, uintptr_t, 0, model_malloc, model_calloc, model_free, pred_expr_hash, pred_expr_equal> PredExprSetIter;
 
 typedef enum predicate_token {
-       EQUALITY, NULLITY
+       NOPREDICATE, EQUALITY, NULLITY
 } token_t;
 
 /* If token is EQUALITY, then the predicate asserts whether