From 99ad573113f5afc8bb5409649843567dee40ba40 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 16 Apr 2008 20:40:19 +0000
Subject: first-order --> firstorder (kills a warning about not being a valid
 id)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/CHANGES | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'contrib/extraction')

diff --git a/contrib/extraction/CHANGES b/contrib/extraction/CHANGES
index 83ea4910cc..acd1dbda4e 100644
--- a/contrib/extraction/CHANGES
+++ b/contrib/extraction/CHANGES
@@ -346,8 +346,8 @@ Dyade/BDDS				boolean tautology checker.
 Lyon/CIRCUITS				multiplication via a modelization of a circuit.
 Lyon/FIRING-SQUAD			print the states of the firing squad.
 Marseille/CIRCUITS			compares integers via a modelization of a circuit. 
-Nancy/FOUnify				unification of two first-orderde deux termes.
-Rocq/ARITH/Chinese			computation of the chinese remaindering.  
+Nancy/FOUnify				unification of two first-order terms.
+Rocq/ARITH/Chinese			computation of the chinese remainder.  
 Rocq/COC				small coc typechecker. (test by B. Barras, not by me)
 Rocq/HIGMAN				run the proof on one example. 
 Rocq/GRAPHS				linear constraints checker in Z. 
-- 
cgit v1.2.3