diff options
author | drh <drh@noemail.net> | 2019-05-04 17:32:07 +0000 |
---|---|---|
committer | drh <drh@noemail.net> | 2019-05-04 17:32:07 +0000 |
commit | 664d6d139eb0ed6ec51aef76db4e22e7f41bc31c (patch) | |
tree | 54ed5a22b2bcc6e67abc2b5f64c81a373d6cd710 /manifest.uuid | |
parent | bc8b231098ae2cbc7528370ab722579f5d3b23fc (diff) | |
download | sqlite-664d6d139eb0ed6ec51aef76db4e22e7f41bc31c.tar.gz sqlite-664d6d139eb0ed6ec51aef76db4e22e7f41bc31c.zip |
Fix the NOT NULL logic in the theorem prover that determines when a partial
index can be used. Ticket [5c6955204c392ae763a95].
FossilOrigin-Name: c2e439bccc40825e211bfa9a88e6a251ff066ca7453d4e7cb5eab56ce7332635
Diffstat (limited to 'manifest.uuid')
-rw-r--r-- | manifest.uuid | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest.uuid b/manifest.uuid index 1418d3575..d5f918aef 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -5862b83eb36b93016d37e5b86ebb183d891bb553901facab1e5d83e114a38ec3
\ No newline at end of file +c2e439bccc40825e211bfa9a88e6a251ff066ca7453d4e7cb5eab56ce7332635
\ No newline at end of file |