summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-22 13:03:28 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-22 13:03:28 +0100
commit836d8929467aaee4ef0ba4de15c87b0df8e3c08c (patch)
tree9a5090943145e752fd2347b7c867476c5f75812a
parentcf49ee2c3be57ac2c5ce6d1c46ab885d0241b3c9 (diff)
downloadpetitcaml-temp.tar.gz
petitcaml-temp.tar.bz2
[petitcaml] Fix indenttemp
-rw-r--r--typing.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing.ml b/typing.ml
index 5626ee5..72a2265 100644
--- a/typing.ml
+++ b/typing.ml
@@ -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