syntax error?

Z3Prover · Apr 8, 2022 · babac78 · babac78
1 parent 83d2aa8
commit babac78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
@@ -101,7 +101,7 @@ def parse_options():
             if arg == "arm64":
                 mk_util.IS_ARCH_ARM64 = True
             else:
-                raise MKException(f"Invalid architecture directive '{arg}'. Legal directives: arm64")
+                raise MKException("Invalid architecture directive '%s'. Legal directives: arm64" % arg)
         else:
             raise MKException("Invalid command line option '%s'" % opt)
     set_build_dir(path)