summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorallen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac>2001-06-11 17:49:03 +0000
committerallen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac>2001-06-11 17:49:03 +0000
commita8c890a1dc5f1732ce42c245555780252ede59f6 (patch)
tree37b7b87b1d6cf26e56c23c8551b430ae30d13c3e
parent4b023cdfed3413a1729c07c280005f6796d862a2 (diff)
Fixed Cactus/705
git-svn-id: http://svn.cactuscode.org/flesh/trunk@2222 17b73243-c579-4c4c-a9d2-2d5706c11dac
-rw-r--r--doc/UsersGuide/ThornWriters.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/UsersGuide/ThornWriters.tex b/doc/UsersGuide/ThornWriters.tex
index 21e36d93..2afa25bf 100644
--- a/doc/UsersGuide/ThornWriters.tex
+++ b/doc/UsersGuide/ThornWriters.tex
@@ -725,7 +725,7 @@ The specification for a group declaration
}] ["<group_description>"]
\end{verbatim}
-Currently, the names of groups and variables much be distinct.
+Currently, the names of groups and variables must be distinct.
\section{Data Type}