From 8b66a21db6d581e1974aafa1288bd91fb38bda43 Mon Sep 17 00:00:00 2001
From: jdsteve2 <jdsteve2@illinois.edu>
Date: Tue, 26 May 2020 11:36:46 -0500
Subject: [PATCH] rename name registry section to Identifiers

---
 doc/ref_kernel.rst | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/ref_kernel.rst b/doc/ref_kernel.rst
index 89f96d01f..ee54515c3 100644
--- a/doc/ref_kernel.rst
+++ b/doc/ref_kernel.rst
@@ -151,8 +151,8 @@ Tag                             Meaning
 
 .. }}}
 
-Variable Name Registry
-----------------------
+Identifiers
+-----------
 
 Reserved Kernel Variable Names
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -163,6 +163,9 @@ prefix is used for certain variables created when operating on Loopy's kernel
 IR. For Loopy developers, further information on name prefixes used within
 submodules is below.
 
+Variable Name Registry
+^^^^^^^^^^^^^^^^^^^^^^
+
 Some Loopy submodules append a sub-prefix to the ``_lp`` prefix for
 internally-created variable names. These prefixes should only be used for names
 created within the listed submodule.
-- 
GitLab