diff options
Diffstat (limited to 'typing/btype.ml')
| -rw-r--r-- | typing/btype.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index dd5e993a2e..d0e2488702 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -722,8 +722,8 @@ let undo_compress (changes, old) = | Change _ -> let log = rev_compress_log [] changes in List.iter - (fun r -> match !r with - Change (Ccompress (ty, desc, d), next) when ty.desc == d -> - ty.desc <- desc; r := !next - | _ -> ()) - log + (fun r -> match !r with + Change (Ccompress (ty, desc, d), next) when ty.desc == d -> + ty.desc <- desc; r := !next + | _ -> ()) + log |