summaryrefslogtreecommitdiff
path: root/Doc/ref/ref1.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/ref/ref1.tex')
-rw-r--r--Doc/ref/ref1.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref1.tex b/Doc/ref/ref1.tex
index c35f1571a8..37fbad7ac7 100644
--- a/Doc/ref/ref1.tex
+++ b/Doc/ref/ref1.tex
@@ -13,7 +13,7 @@ fact you would probably end up implementing quite a different language.
On the other hand, if you are using
Python and wonder what the precise rules about a particular area of
the language are, you should definitely be able to find them here.
-If you would like to see a more formal definitition of the language,
+If you would like to see a more formal definition of the language,
maybe you could volunteer your time --- or invent a cloning machine
:-).