Small fix #878

Job	Run time
clang-format	6m 4s
Coverage (STP)	38m 43s
Linux (LLVM 14)	21m 35s
Coverage (Z3)	41m 2s
Linux (LLVM 13)	18m 51s
macOS	12m 22s
Linux (LLVM 12)	15m 55s
Docker	17m 12s
Linux (LLVM 11, Doxygen)	16m 54s
Linux (LLVM 10)	21m 4s
Linux (LLVM 9)	14m 42s
Linux (ASan)	50m 46s
Linux (UBSan)	48m 55s
Linux (MSan)	55m 9s
Linux (Z3 only)	18m 4s
Linux (metaSMT)	41m 15s
Linux (STP master)	16m 31s
Linux (Latest klee-uclibc)	16m 54s
Linux (Asserts disabled)	21m 33s
Linux (No TCMalloc, optimised runtime)	14m 47s
	8h 28m 18s

Provide feedback