Small fix #1056

Job	Run time
Docker	11m 33s
clang-format	5m 46s
Linux (LLVM 14)	11m 34s
Coverage (STP)	45m 29s
Linux (LLVM 13)	16m 29s
macOS	9m 51s
Coverage (Z3)	52m 53s
Linux (LLVM 12)	11m 1s
Linux (LLVM 11, Doxygen)	11m 10s
Linux (LLVM 10)	11m 4s
Linux (LLVM 9)	21m 6s
Linux (ASan)	36m 41s
Linux (UBSan)	35m 24s
Linux (MSan)	54m 15s
Linux (Z3 only)	12m 5s
Linux (metaSMT)	26m 3s
Linux (STP master)	10m 21s
Linux (Latest klee-uclibc)	16m 6s
Linux (Asserts disabled)	10m 53s
Linux (No TCMalloc, optimised runtime)	11m 8s
	7h 0m 52s

Provide feedback