diff --git a/doc/build_instrument_method_map.py b/doc/build_instrument_method_map.py index 28780b9c..c8ee314e 100644 --- a/doc/build_instrument_method_map.py +++ b/doc/build_instrument_method_map.py @@ -37,4 +37,4 @@ def generate_instrument_method_map(outfile): if __name__ == '__main__': - generate_instrumentation_method_map(sys.argv[1]) + generate_instrument_method_map(sys.argv[1])