From cad369b667c44a32760ab867edfe335fede2fbf7 Mon Sep 17 00:00:00 2001 From: Mehdi Amini Date: Fri, 3 May 2019 21:38:39 -0700 Subject: [PATCH] Minor fixes (formatting/typos) to the DeveloperGuide -- PiperOrigin-RevId: 246621047 --- mlir/g3doc/DeveloperGuide.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mlir/g3doc/DeveloperGuide.md b/mlir/g3doc/DeveloperGuide.md index 03a4d3f..d13203a 100644 --- a/mlir/g3doc/DeveloperGuide.md +++ b/mlir/g3doc/DeveloperGuide.md @@ -15,7 +15,7 @@ except: To avoid collision between options provided by different dialects, the naming convention is to prepend the dialect name to every dialect-specific passes and -options in general. Also options that are specific to a pass should also be -prefixed with the pass name. For example, the affine dialect is providing a -loop tiling pass that will be registered on the command line as "-affine-tile", -and the tile size option can be set with "-affine-tile-size". +options in general. Options that are specific to a pass should also be prefixed +with the pass name. For example, the affine dialect provides a loop tiling pass +that is registered on the command line as `-affine-tile`, and with a tile size +option that can be set with `-affine-tile-size`. -- 2.7.4