diff options
Diffstat (limited to 'generator/generator_ruby.ml')
| -rw-r--r-- | generator/generator_ruby.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generator/generator_ruby.ml b/generator/generator_ruby.ml index 38121b57..a8416b42 100644 --- a/generator/generator_ruby.ml +++ b/generator/generator_ruby.ml @@ -346,10 +346,6 @@ ruby_user_cancel (VALUE gv) doc ^ "\n\n" ^ protocol_limit_warning else doc in let doc = - if List.mem DangerWillRobinson flags then - doc ^ "\n\n" ^ danger_will_robinson - else doc in - let doc = match deprecation_notice flags with | None -> doc | Some txt -> doc ^ "\n\n" ^ txt in |