From 4ac0dc8b76dc8cdd2ff3e1a4b258f202b7c865ef Mon Sep 17 00:00:00 2001 From: Jonathan DiLorenzo Date: Mon, 13 Jul 2026 09:23:50 -0700 Subject: [PATCH] [NetKAT] Remove internal Google link. PiperOrigin-RevId: 947081257 --- netkat/evaluator.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/netkat/evaluator.h b/netkat/evaluator.h index 4ed0da1..bc664b2 100644 --- 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_