From fc5df964ec52be014bfd16ef6d8f56ec1f153834 Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 19 Nov 2008 14:16:34 +0000
Subject: Fix typo in omega doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11604 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Omega.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex
index bbf17f6304..b9e899ce89 100644
--- a/doc/refman/Omega.tex
+++ b/doc/refman/Omega.tex
@@ -16,7 +16,7 @@ may use any hypothesis of the current proof session to solve the goal.
 
 Multiplication is handled by {\tt omega} but only goals where at
 least one of the two multiplicands of products is a constant are
-solvable. This is the restriction meaned by ``Presburger arithmetic''.
+solvable. This is the restriction meant by ``Presburger arithmetic''.
 
 If the tactic cannot solve the goal, it fails with an error message.
 In any case, the computation eventually stops.
-- 
cgit v1.2.3