From 1e5e934a8ce31c129368e57b61e485e6b989c3f4 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Tue, 3 Dec 2013 09:55:04 +0100 Subject: Silence compilation warning by avoiding some deprecated constructs. --- ide/nanoPG.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide/nanoPG.ml') diff --git a/ide/nanoPG.ml b/ide/nanoPG.ml index dafb0575d..fe9e815c9 100644 --- a/ide/nanoPG.ml +++ b/ide/nanoPG.ml @@ -64,7 +64,7 @@ let make_emacs_mode gui name enter_sym bindings = let compile_emacs_modes gui l = List.fold_left (fun (r,s,u,m,d) mode -> let run, set, unset, mask,doc = mode gui in - (fun k -> r k || run k), (fun k -> s k or set k), + (fun k -> r k || run k), (fun k -> s k || set k), (fun () -> u (); unset ()), (fun k -> m k || mask k), d^"\n"^doc) ((fun _ -> false),(fun _ -> false),(fun () -> ()),(fun _ -> false),"") l -- cgit v1.2.3