From e10b53418d0ab0ffc057a0faa9ccdc3c8343400f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 21 May 2020 15:34:24 +0200
Subject: [PATCH] [kernel] Cil_datatype: exports the type of Varinfo_Id.

---
 src/kernel_services/ast_queries/cil_datatype.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_queries/cil_datatype.mli b/src/kernel_services/ast_queries/cil_datatype.mli
index f83bc30afaa..460f01de5cb 100644
--- a/src/kernel_services/ast_queries/cil_datatype.mli
+++ b/src/kernel_services/ast_queries/cil_datatype.mli
@@ -215,7 +215,7 @@ module TypNoUnroll: S_with_collections_pretty with type t = typ
 
 module Typeinfo: S_with_collections with type t = typeinfo
 
-module Varinfo_Id: Hptmap.Id_Datatype
+module Varinfo_Id: Hptmap.Id_Datatype with type t = varinfo
 
 (** @plugin development guide *)
 module Varinfo: sig
-- 
GitLab