diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml index 2104765..a60398c 100644 --- a/compiler/main/mls2obc.ml +++ b/compiler/main/mls2obc.ml @@ -405,7 +405,7 @@ let translate_node let resetm = { m_name = Mreset; m_inputs = []; m_outputs = []; m_locals = []; m_body = si } in - { cd_name = f; cd_mems = m; + { cd_name = f; cd_mems = m; cd_params = params; cd_objs = j; cd_methods = [stepm; resetm]; cd_loc = loc } diff --git a/compiler/obc/obc.ml b/compiler/obc/obc.ml index 5657199..ed2d413 100644 --- a/compiler/obc/obc.ml +++ b/compiler/obc/obc.ml @@ -92,6 +92,7 @@ type class_def = { cd_name : class_name; cd_mems : var_dec list; cd_objs : obj_dec list; + cd_params : param list; cd_methods: method_def list; cd_loc : location }