summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 04:09:44 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 04:09:44 +0100
commitd941809074955cc5e079ce48b202f24c1b3ed9c3 (patch)
tree558467d8da7f596544d37f8bc7df0301af0bc18a
parent3c4112a4fea9fc6f99ca844672790d364428bbef (diff)
downloadpetitcaml-d941809074955cc5e079ce48b202f24c1b3ed9c3.tar.gz
petitcaml-d941809074955cc5e079ce48b202f24c1b3ed9c3.tar.bz2
[petitcaml] Fix typo
-rw-r--r--typing.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing.ml b/typing.ml
index cb1f3a1..a929d9c 100644
--- a/typing.ml
+++ b/typing.ml
@@ -185,7 +185,7 @@ let add ident t env =
(* Folder pour la mise à jour des variables libres *)
let update_fvars_folder tv current =
- Vset.union (Vset.add tv (fvars (Tvar tv))) current
+ Vset.union (fvars (Tvar tv)) current
(* Ajoute un identifiant typé à l'environnement avec généralisation *)
let add_gen ident t env =