diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_memo.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_memo.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_memo.ml b/otherlibs/labltk/browser/jg_memo.ml index f6f6e773b..70c6da2d1 100644 --- a/otherlibs/labltk/browser/jg_memo.ml +++ b/otherlibs/labltk/browser/jg_memo.ml @@ -22,7 +22,7 @@ let rec assq key = function | Cons (a, b, l) -> if key == a then b else assq key l -let fast :f = +let fast ~f = let memo = ref Nil in fun key -> try assq key !memo |