diff options
Diffstat (limited to 'ide/fileOps.ml')
| -rw-r--r-- | ide/fileOps.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/fileOps.ml b/ide/fileOps.ml index a1066db2c..3b8599818 100644 --- a/ide/fileOps.ml +++ b/ide/fileOps.ml @@ -108,7 +108,7 @@ object(self) let answ = GToolbox.question_box ~title:"File exists on disk" ~buttons:["Overwrite"; "Cancel";] ~default:1 - ~icon:warn_image#coerce + ~icon:(warn_image ())#coerce ("File "^f^" already exists") in match answ with |