summaryrefslogtreecommitdiff
path: root/src/include/optimizer/predtest.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/include/optimizer/predtest.h')
-rw-r--r--src/include/optimizer/predtest.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/include/optimizer/predtest.h b/src/include/optimizer/predtest.h
index 658a86cc15a..748cd356112 100644
--- a/src/include/optimizer/predtest.h
+++ b/src/include/optimizer/predtest.h
@@ -17,9 +17,9 @@
#include "nodes/primnodes.h"
-extern bool predicate_implied_by(List *predicate_list,
- List *restrictinfo_list);
-extern bool predicate_refuted_by(List *predicate_list,
- List *restrictinfo_list);
+extern bool predicate_implied_by(List *predicate_list, List *clause_list,
+ bool clause_is_check);
+extern bool predicate_refuted_by(List *predicate_list, List *clause_list,
+ bool clause_is_check);
#endif /* PREDTEST_H */