Internal change
authorMehdi Amini <aminim@google.com>
Fri, 7 Jun 2019 01:52:29 +0000 (18:52 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sun, 9 Jun 2019 23:22:27 +0000 (16:22 -0700)
commit36ebf56a19b1c4a02bfe7ab8e55a4173e9438043
treeaae4acd56f369e3c95acdbd7aa2baee94d6c30d7
parentb8227c9ac31460d7e399c29578892541ce280abc
Internal change

PiperOrigin-RevId: 251972430
mlir/include/mlir/IR/DialectSymbolRegistry.def