Minor fixes (formatting/typos) to the DeveloperGuide
authorMehdi Amini <aminim@google.com>
Sat, 4 May 2019 04:38:39 +0000 (21:38 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:28:30 +0000 (08:28 -0700)
--

PiperOrigin-RevId: 246621047

mlir/g3doc/DeveloperGuide.md

index 03a4d3f..d13203a 100644 (file)
@@ -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`.