diff options
Diffstat (limited to 'docs/Lexicon.html')
| -rw-r--r-- | docs/Lexicon.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Lexicon.html b/docs/Lexicon.html index 7829d4f2c3..8023c24711 100644 --- a/docs/Lexicon.html +++ b/docs/Lexicon.html @@ -90,7 +90,7 @@ href="http://www.program-transformation.org/Transform/BURG">BURG</a> tool.</dd> <div class="doc_text"> <dl> <dt><a name="DSA"><b>DSA</b></a></dt> - <dd>DataStructure Analysis</dd> + <dd>Data Structure Analysis</dd> <dt><a name="DSE"><b>DSE</b></a></dt> <dd>Dead Store Elimination</dd> </dl> |