diff --git a/src/eff.ml b/src/eff.ml
index 5283d2f7f1ba387caac9462dafdb234de0ef1e41..ffe1a86a5cd1a18e11879242fbd686a68660a948 100644
--- a/src/eff.ml
+++ b/src/eff.ml
@@ -1,4 +1,4 @@
-(** 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