Remove accidentally included boost header #3518
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I just noticed that in #3083 I accidentally pulled a patched header from boost into rdkit (and nobody noticed!). This removes this header.
I was using boost 1.68 to build rdkit, and I remember I had a memory error that looked like the one described in boostorg/serialization#104. I used this patched header for the memtesting (which did actually make the bug go away), but never intended to check it into repo. I still don't know how that happened.