Small fix #880

Job	Run time
clang-format	5m 33s
Coverage (STP)	18m 38s
Coverage (Z3)	18m 38s
Docker	11m 19s
macOS	10m 9s
Linux (LLVM 14)	15m 49s
Linux (LLVM 13)	18m 38s
Linux (LLVM 12)	18m 40s
Linux (LLVM 11, Doxygen)	15m 28s
Linux (LLVM 10)	15m 28s
Linux (LLVM 9)	18m 40s
Linux (ASan)	18m 43s
Linux (UBSan)	18m 38s
Linux (MSan)	18m 42s
Linux (Z3 only)	15m 34s
Linux (metaSMT)	18m 40s
Linux (STP master)	18m 36s
Linux (Latest klee-uclibc)	16m 38s
Linux (Asserts disabled)	14m 11s
Linux (No TCMalloc, optimised runtime)	18m 38s
	5h 25m 20s

Provide feedback