From 0cfd14b2f491d8ea2d8d4d21f54cb8a9e9ffd3db Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Tue, 27 Feb 2018 10:58:10 +0000 Subject: [PATCH] Add missing Doxygen parameter --- src/java_bytecode/java_static_initializers.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/java_bytecode/java_static_initializers.cpp b/src/java_bytecode/java_static_initializers.cpp index b77ffc7bf61..b95dedbfea2 100644 --- a/src/java_bytecode/java_static_initializers.cpp +++ b/src/java_bytecode/java_static_initializers.cpp @@ -215,6 +215,9 @@ codet get_clinit_wrapper_body( /// Create static initializer wrappers for all classes that need them. /// \param symbol_table: global symbol table +/// \param synthetic_methods: synthetic methods map. Will be extended noting +/// that any wrapper belongs to this code, and so `get_clinit_wrapper_body` +/// should be used to produce the method body when required. void create_static_initializer_wrappers( symbol_tablet &symbol_table, synthetic_methods_mapt &synthetic_methods)