From 3b5b26d5db586fa44ac67a156814612b3df01772 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 17 Oct 2024 03:47:28 -0700 Subject: [PATCH] [nit] remove wrong comment Summary: `pvar_kind` describes more than just global variables Reviewed By: dulmarod, skcho Differential Revision: D64532015 fbshipit-source-id: 5ec9eff42708c21e7e82c82867da4665ad556011 --- infer/src/IR/Pvar.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/infer/src/IR/Pvar.ml b/infer/src/IR/Pvar.ml index 52c2461f13..158cc94c83 100644 --- a/infer/src/IR/Pvar.ml +++ b/infer/src/IR/Pvar.ml @@ -14,7 +14,6 @@ module F = Format type translation_unit = SourceFile.t option [@@deriving compare, equal, sexp, hash, normalize] -(** Kind of global variables *) type pvar_kind = | Local_var of Procname.t (** local variable belonging to a function *) | Callee_var of Procname.t (** local variable belonging to a callee *)