summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-09 15:50:09 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-09 15:50:09 -0500
commit00ea8464a080d213dc515e7671be35bb79b49063 (patch)
tree81956ac722cebf32942a54ad641de02f8ccf7384 /doc
parent7d377ed47ee3dc29a5344ba908e18ee2ff0d0ab1 (diff)
downloadroux-00ea8464a080d213dc515e7671be35bb79b49063.tar.gz
number Control section
Diffstat (limited to 'doc')
-rw-r--r--doc/il.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/il.txt b/doc/il.txt
index 87fafa7..bfd2867 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -284,8 +284,8 @@ is provided in the call instructions.
 The syntax and semantics for the body of functions
 is described in the <@ Control > section.
 
-- Control
----------
+- 4. Control
+------------
 
 The IL represents programs as textual transcriptions of
 control flow graphs.  A program is given as a sequence