From 60693e1b6506122471df4d9ebdffa0e220654bb2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pierre-Cl=C3=A9ment=20Tosi?= Date: Tue, 4 Jun 2019 14:15:43 +0100 Subject: [PATCH] doc: Fix build_instrument_method_map script Fix a wrong call to a function in the script execution path. --- doc/build_instrument_method_map.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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])