Document CompareAST.global_type usage

goblint · Mar 8, 2022 · a18289a · a18289a
1 parent 4618e88
commit a18289a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/incremental/compareAST.ml b/src/incremental/compareAST.ml
@@ -1,6 +1,7 @@
 open Cil
 
-type global_type = Fun | Decl | Var | Other
+(* global_type and global_t are implicitly used by GlobalMap to keep GVarDecl apart from GVar and GFun, so do not remove! *)
+type global_type = Fun | Decl | Var
 
 and global_identifier = {name: string ; global_t: global_type} [@@deriving ord]