From a2acfb5a87de30a257f6490c00d2d5c42d0a4c93 Mon Sep 17 00:00:00 2001 From: "wojciech.meyer" Date: Thu, 15 Mar 2012 04:20:47 +0100 Subject: [PATCH] Small improvement Ignore-this: f8bd21d0a948e37a9697ecddcde9ed7c darcs-hash:20120315032047-33bd9-9931fb1c2c888b42466734f89b69f2010379d2eb --- src/lib/uTop.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop.ml b/src/lib/uTop.ml index 210b1cd..1034ec8 100644 --- a/src/lib/uTop.ml +++ b/src/lib/uTop.ml @@ -82,7 +82,7 @@ let default_keywords = [ "when"; "while"; "with"; "try_lwt"; "finally"; "for_lwt"; "lwt"; ] -let keywords = ref (List.fold_left (fun set kwd -> String_set.add kwd set) String_set.empty default_keywords) +let keywords = ref (List.fold_right String_set.add default_keywords String_set.empty) let add_keyword kwd = keywords := String_set.add kwd !keywords (* +-----------------------------------------------------------------+