diff options
author | Guillaume Seguin <guillaume@segu.in> | 2009-01-22 13:03:28 +0100 |
---|---|---|
committer | Guillaume Seguin <guillaume@segu.in> | 2009-01-22 13:03:28 +0100 |
commit | 836d8929467aaee4ef0ba4de15c87b0df8e3c08c (patch) | |
tree | 9a5090943145e752fd2347b7c867476c5f75812a | |
parent | cf49ee2c3be57ac2c5ce6d1c46ab885d0241b3c9 (diff) | |
download | petitcaml-temp.tar.gz petitcaml-temp.tar.bz2 |
[petitcaml] Fix indenttemp
-rw-r--r-- | typing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -210,7 +210,7 @@ let add_gen ident t env = { bindings = Smap.add ident { vars = binding_vars ; typ = t } env.bindings ; - fvars = envfvars } + fvars = envfvars } (* Remplace la variable d'id orig par la fresh var new_tv *) let rec replace_var orig new_tv = function |