From bdbc136b0595bf99d69ac0266b7bf97c0008e5c9 Mon Sep 17 00:00:00 2001 From: Jonathan DiLorenzo Date: Thu, 5 Dec 2024 11:50:18 -0800 Subject: [PATCH] [NetKAT] Remove internal Google link. PiperOrigin-RevId: 703194642 --- netkat/evaluator.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/netkat/evaluator.h b/netkat/evaluator.h index 296f054..330680f 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_