| commit | b1f1ce1e28ccb78138fa652335757c8bd3e4c559 | [log] [tgz] |
|---|---|---|
| author | Googler <no-reply@google.com> | Fri Feb 17 15:37:52 2023 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Feb 17 15:38:36 2023 -0800 |
| tree | fdabc64b88042d8c28c2913baa52f0d51a661818 | |
| parent | ec0b64ecc5291bac8b40230c1e3d7027bdf10ddc [diff] [blame] |
Automatic code cleanup. PiperOrigin-RevId: 510537770
diff --git a/nullability_verification/BUILD b/nullability_verification/BUILD index aa6ea3d..584d79b 100644 --- a/nullability_verification/BUILD +++ b/nullability_verification/BUILD
@@ -1,5 +1,7 @@ # Verification for null safety +package(default_applicable_licenses = ["//third_party/crubit:license"]) + cc_library( name = "pointer_nullability_lattice", hdrs = ["pointer_nullability_lattice.h"],