printf -> print

VeriFIT · Nov 1, 2024 · 73cc7ce · 73cc7ce
1 parent 84ecd6a
commit 73cc7ce
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()