Skip to content

Clean up some includes#1006

Merged
pascoec merged 3 commits intodevfrom
includes
Jul 3, 2025
Merged

Clean up some includes#1006
pascoec merged 3 commits intodevfrom
includes

Conversation

@j2kun
Copy link
Collaborator

@j2kun j2kun commented Jun 20, 2025

The Google-internal build of OpenFHE reports some missing inclues which are hard errors, and so adding these upstream allows us to reduce the amount of requried patches, which simplifies upgrading our version of OpenFHE. Also clang-tidy reported a few unused imports in these files.

The Google-internal build of OpenFHE reports some missing inclues which are
hard errors, and so adding these ustream allows us to reduce the amount of
requried patches, which simplifies upgrading our version of OpenFHE. Also
clang-tidy reported a few unused imports in these files.
@j2kun j2kun requested a review from dsuponitskiy June 20, 2025 19:35
@pascoec pascoec merged commit 809202d into dev Jul 3, 2025
13 checks passed
@pascoec pascoec deleted the includes branch July 3, 2025 17:47
@dsuponitskiy dsuponitskiy added this to the Release 1.3.1 milestone Jul 3, 2025
@dsuponitskiy dsuponitskiy added the cleanup Code cleanup label Jul 3, 2025
@dsuponitskiy dsuponitskiy linked an issue Jul 3, 2025 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cleanup Code cleanup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add missing includes

3 participants