|
@@ -1579,7 +1579,7 @@ let type_bind ctx (e : texpr) (args,ret) params p =
|
|
let vexpr v = mk (TLocal v) v.v_type p in
|
|
let vexpr v = mk (TLocal v) v.v_type p in
|
|
let acount = ref 0 in
|
|
let acount = ref 0 in
|
|
let alloc_name n =
|
|
let alloc_name n =
|
|
- if n = "" || String.length n > 2 && not ctx.is_display_file then begin
|
|
|
|
|
|
+ if n = "" && not ctx.is_display_file then begin
|
|
incr acount;
|
|
incr acount;
|
|
"a" ^ string_of_int !acount;
|
|
"a" ^ string_of_int !acount;
|
|
end else
|
|
end else
|