1-liner bugfix for Interval Set #945

Job	Run time
cpp-lib-build (macos-11, clang, ON)	1m 46s
build (macos-11, tool)	6h 0m 6s
cpp-lib-build (macos-11, clang, OFF)	7m 24s
build (macos-11, cpp)	29m 47s
cpp-lib-build (macos-11, gcc, ON)	7m 53s
build (macos-11, csharp)	9m 22s
cpp-lib-build (macos-11, gcc, OFF)	9m 45s
build (macos-11, dart)	5m 41s
cpp-lib-build (ubuntu-20.04, clang, ON)	2m 49s
build (macos-11, go)	4m 41s
cpp-lib-build (ubuntu-20.04, clang, OFF)	4m 9s
build (macos-11, java)	2m 18s
cpp-lib-build (ubuntu-20.04, gcc, ON)	2m 24s
build (macos-11, javascript)	2m 38s
cpp-lib-build (ubuntu-20.04, gcc, OFF)	4m 56s
build (macos-11, typescript)	19m 42s
build (macos-11, php)	13m 57s
build (macos-11, python3)	1m 48s
cpp-lib-build (windows-2022, clang, ON)	4m 16s
build (ubuntu-20.04, tool)	1m 28s
cpp-lib-build (windows-2022, clang, OFF)	5m 48s
build (ubuntu-20.04, cpp)	16m 50s
cpp-lib-build (windows-2022, cl)	4m 35s
build (ubuntu-20.04, csharp)	5m 21s
build (ubuntu-20.04, dart)	3m 38s
build (ubuntu-20.04, go)	2m 25s
build (ubuntu-20.04, java)	1m 18s
build (ubuntu-20.04, javascript)	1m 30s
build (ubuntu-20.04, typescript)	10m 11s
build (ubuntu-20.04, php)	1m 31s
build (ubuntu-20.04, python3)	1m 19s
build (windows-2022, tool)	1m 50s
build (windows-2022, cpp)	21m 41s
build (windows-2022, csharp)	8m 24s
build (windows-2022, dart)	4m 44s
build (windows-2022, go)	6m 37s
build (windows-2022, java)	2m 17s
build (windows-2022, javascript)	2m 25s
build (windows-2022, typescript)	23m 19s
build (windows-2022, php)	3m 7s
build (windows-2022, python3)	1m 48s
	10h 27m 28s

Provide feedback