fix a typo

src/eff.ml

-(** Time-stamp: <modified the 13/05/2009 (at 16:04) by Erwan Jahier> *)
+(** Time-stamp: <modified the 22/01/2010 (at 14:32) by Erwan Jahier> *)
 
 (** 
 
@@ -112,7 +112,7 @@ type id_solver = {
   Type : type
   -----------------------------------------------------------------------
   Dénotation de type immédiat : l'équivalence sémantique des types
-  EST l'équivalence structurelle des type. 
+  EST l'équivalence structurelle des types. 
   Par rapport à une type_exp :
   - pas d'alias
   - taille des tableaux résolues