[NetKAT] Remove internal Google link.

jonathan-dilorenzo · copybara-github · commit 766094262285 · 2024-12-05T11:53:06.000-08:00
PiperOrigin-RevId: 703194642
diff --git a/netkat/evaluator.h b/netkat/evaluator.h
@@ -18,8 +18,6 @@
 //
 // Defines a library of functions for evaluating NetKAT predicates and policies
 // on concrete packets.
-//
-// See go/netkat-hld for more details.
 
 #ifndef GOOGLE_NETKAT_NETKAT_EVALUATOR_H_
 #define GOOGLE_NETKAT_NETKAT_EVALUATOR_H_
