diff options
Diffstat (limited to 'otherlibs/labltk/compiler/intf.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/intf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/compiler/intf.ml b/otherlibs/labltk/compiler/intf.ml index a46a6b250..42225ed5b 100644 --- a/otherlibs/labltk/compiler/intf.ml +++ b/otherlibs/labltk/compiler/intf.ml @@ -30,7 +30,7 @@ let write_create_p :w wname = let l = List.map classdefs fun: begin fun fc -> begin let p = gettklabel fc in - if count key:p tklabels > 1 then small fc.ml_name else p + if count item:p tklabels > 1 then small fc.ml_name else p end, fc.template end in w (String.concat sep:" ->\n" |