diff options
Diffstat (limited to 'src/test/modules/test_predtest/sql/test_predtest.sql')
| -rw-r--r-- | src/test/modules/test_predtest/sql/test_predtest.sql | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/test/modules/test_predtest/sql/test_predtest.sql b/src/test/modules/test_predtest/sql/test_predtest.sql index 298b8bf5ea2..27347358439 100644 --- a/src/test/modules/test_predtest/sql/test_predtest.sql +++ b/src/test/modules/test_predtest/sql/test_predtest.sql @@ -306,7 +306,6 @@ select x <= 5, x in (1,3,5,7) from integers $$); --- XXX ideally, we could prove this case too, for strong implication select * from test_predtest($$ select x <= 5, x in (1,3,5,null) from integers |