diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml index 6119fe189..d9bd356df 100644 --- a/generator/generator_actions.ml +++ b/generator/generator_actions.ml @@ -6672,9 +6672,7 @@ This does not erase the filesystem itself nor any other data from the C. Compare with C which zeroes the first few blocks of a -device. - -=back"); +device."); ]