Commit e10b5341 authored by David Bühler's avatar David Bühler Committed by Michele Alberti
Browse files

[kernel] Cil_datatype: exports the type of Varinfo_Id.

parent e9f869c6
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment