Merge pull request #452 from VeriFIT/perf-typo

Typo in a performance comparison script. #patch
VeriFIT · Nov 1, 2024 · ccfbf72 · ccfbf72
2 parents 84ecd6a + 73cc7ce
commit ccfbf72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests-integration/scripts/compare_profiles.py b/tests-integration/scripts/compare_profiles.py
@@ -30,7 +30,7 @@ def transform(cell):
 if __name__ == "__main__":
     profiles = sys.argv[1:]
     if len(profiles) == 0:
-        printf(f"usage: compare_profiles.py [target.csv baseline1.csv ... baselinen.csv]")
+        print(f"usage: compare_profiles.py [target.csv baseline1.csv ... baselinen.csv]")
 
     averages, medians, timeouts = [], [], []
     columns, to_columns = set(), set()