Run buildifier.

kammoh · Aug 9, 2023 · a0de9e1 · a0de9e1
1 parent 53340d4
commit a0de9e1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dependency_support/z3/build_defs.bzl b/dependency_support/z3/build_defs.bzl
@@ -83,7 +83,7 @@ def gen_srcs():
         srcs = [
             "LICENSE.txt",
             "scripts/mk_make.py",
-        ] + native.glob(["src/**", "examples/**"], exclude=GEN_HDRS + GEN_SRCS),
+        ] + native.glob(["src/**", "examples/**"], exclude = GEN_HDRS + GEN_SRCS),
         tools = ["scripts/mk_make.py"],
         outs = MK_MAKE_SRCS + MK_MAKE_HDRS,
         # We can't use $(location) here, since the bundled script internally

diff --git a/dependency_support/z3/bundled.BUILD.bazel b/dependency_support/z3/bundled.BUILD.bazel
@@ -15,7 +15,7 @@
 # Description:
 #   Z3 is a theorem prover from Microsoft Research.
 
-load("@com_google_xls//dependency_support/z3:build_defs.bzl", "gen_srcs", "GEN_SRCS", "GEN_HDRS")
+load("@com_google_xls//dependency_support/z3:build_defs.bzl", "GEN_HDRS", "GEN_SRCS", "gen_srcs")
 
 licenses(["notice"])
 
@@ -121,7 +121,7 @@ cc_library(
         "src/test/fuzzing/*.cpp",
         "src/util/*.cpp",
         "src/util/lp/*.cpp",
-    ], exclude=GEN_SRCS),
+    ], exclude = GEN_SRCS),
     hdrs = GEN_HDRS + glob([
         "src/ackermannization/*.h",
         "src/ackermannization/*.hpp",