From 1ae7f20cfe716ff82927ccab2cdfa95af19b9157 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 8 Mar 2016 14:46:06 -0500
Subject: fix indent in BNF block

---
 doc/il.txt | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'doc')

diff --git a/doc/il.txt b/doc/il.txt
index eef0378..4814174 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -152,19 +152,19 @@ their size between curly braces.
 ~ Data
 ~~~~~~
 
-   [BNF]
-   DATADEF :=
-     ['export'] 'data' $IDNT '='
-     '{'
-         ( EXTTY DATAITEM+
-         | 'z'   NUMBER    ),
-         [ ',' ]            # Optional trailing ,
-     '}'
-
-   DATAITEM :=
-     $IDNT [ '+' NUMBER ]   # Symbol and offset
-   |  '"' ... '"'           # String
-   |  IMMEDIATE             # Immediate
+    [BNF]
+    DATADEF :=
+      ['export'] 'data' $IDNT '='
+      '{'
+          ( EXTTY DATAITEM+
+          | 'z'   NUMBER    ),
+          [ ',' ]            # Optional trailing ,
+      '}'
+
+    DATAITEM :=
+      $IDNT [ '+' NUMBER ]   # Symbol and offset
+    |  '"' ... '"'           # String
+    |  IMMEDIATE             # Immediate
 
 Data definitions define objects that will be emitted in the
 compiled file.  They can be local to the file or exported
-- 
cgit 1.4.1