Remove no longer needed include #154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	11s
coverage	2m 12s
gcc:13	2m 23s
gcc:12	2m 23s
clang:17	2m 29s
clang:16	2m 27s
	12m 5s