From 84eb8e1c17747ef38fe6ad4154291c12b365041e Mon Sep 17 00:00:00 2001
From: "copybara-service[bot]"
 <56741989+copybara-service[bot]@users.noreply.github.com>
Date: Wed, 6 Nov 2024 15:25:57 -0500
Subject: [PATCH] Automated Code Change (#4)

PiperOrigin-RevId: 693819529

Co-authored-by: NetKAT Team <copybara-servicebot@google.com>
---
 netkat/BUILD.bazel | 1 +
 1 file changed, 1 insertion(+)

diff --git a/netkat/BUILD.bazel b/netkat/BUILD.bazel
index 5fe03cc..86ed416 100644
--- a/netkat/BUILD.bazel
+++ b/netkat/BUILD.bazel
@@ -1,5 +1,6 @@
 
 
+
 package(
     default_applicable_licenses = ["//:license"],
     default_visibility = [":__subpackages__"],