diff --git a/scripts/update_api.py b/scripts/update_api.py index 77a5bf7f2..dd1e46c4f 100644 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1211,9 +1211,11 @@ def mk_ml(): ml_i.write(')') ml_native.write('\n') ml_i.write('\n') - ml_native.write(' = "n_%s"\n' % ml_method_name(name)) if len(ip) > 5: - ml_native.write(' "n_%s_bytecode"\n' % ml_method_name(name)) + ml_native.write(' = "n_%s_bytecode"\n' % ml_method_name(name)) + ml_native.write(' "n_%s"\n' % ml_method_name(name)) + else: + ml_native.write(' = "n_%s"\n' % ml_method_name(name)) ml_native.write('\n') ml_native.write(' end\n\n') ml_i.write('\n(**/**)\n');