From 8c903a3c9dcd1988c2cf5705bbf138d83cd12c73 Mon Sep 17 00:00:00 2001
From: Jacques Pienaar <jpienaar@google.com>
Date: Fri, 16 Nov 2018 09:07:03 -0800
Subject: [PATCH] Update LangRef to reflect int/flaot attribute specification
 changes.

PiperOrigin-RevId: 221802835
---
 mlir/g3doc/LangRef.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mlir/g3doc/LangRef.md b/mlir/g3doc/LangRef.md
index f8dd370a6562..f68c19c1f73d 100644
--- a/mlir/g3doc/LangRef.md
+++ b/mlir/g3doc/LangRef.md
@@ -842,8 +842,8 @@ Attributes have a name, and their values are represented by the following forms:
 
 ``` {.ebnf}
 attribute-value ::= bool-literal
-                  | integer-literal
-                  | float-literal
+                  | integer-literal ( `:` (index-type | integer-type) )?
+                  | float-literal ( `:` float-type )?
                   | string-literal
                   | affine-map
                   | type