Small fix #882

Job	Run time
clang-format	5m 51s
Docker	10m 54s
Coverage (STP)	38m 16s
macOS	10m 4s
Coverage (Z3)	44m 3s
Linux (LLVM 14)	21m 40s
Linux (LLVM 13)	17m 42s
Linux (LLVM 12)	15m 6s
Linux (LLVM 11, Doxygen)	17m 7s
Linux (LLVM 10)	15m 23s
Linux (LLVM 9)	17m 21s
Linux (ASan)	53m 32s
Linux (UBSan)	45m 46s
Linux (MSan)	56m 58s
Linux (Z3 only)	15m 49s
Linux (metaSMT)	36m 49s
Linux (STP master)	21m 56s
Linux (Latest klee-uclibc)	23m 41s
Linux (Asserts disabled)	14m 15s
Linux (No TCMalloc, optimised runtime)	14m 8s
	8h 16m 21s

Provide feedback