From 0f5b381b292eb94f21240c2f4aa9725f10a400fe Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 22 Jan 2010 18:05:00 +0100
Subject: [PATCH] fix a typo
---
src/eff.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/eff.ml b/src/eff.ml
index 5283d2f7..ffe1a86a 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
--
GitLab