diff options
Diffstat (limited to 'checklink/Fuzz.ml')
-rw-r--r-- | checklink/Fuzz.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checklink/Fuzz.ml b/checklink/Fuzz.ml index 9653834e..7752aee3 100644 --- a/checklink/Fuzz.ml +++ b/checklink/Fuzz.ml @@ -46,7 +46,7 @@ let fuzz_check elfmap bs byte old sdumps = ) end else (* not finding an ERROR is bad thus reported *) - print_endline (fuzz_description ^ "DID NOT CAUSE AN ERROR!") + print_endline (fuzz_description ^ " DID NOT CAUSE AN ERROR!") with | Assert_failure(s, l, c) -> if !fuzz_debug |