edit a space

Author: Daniel Kroening

regression/cbmc/Quantifiers-not/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] failure 1: FAILURE$
 ^\[main.assertion.4\] success 3: SUCCESS$
 ^\[main.assertion.5\] failure 2: FAILURE$
-^\*\* 2 of 5 failed 
+^\*\* 2 of 5 failed
 ^VERIFICATION FAILED$