PC.Dummy exposes annot type

GillianPlatform · Dec 12, 2023 · 02e6b68 · 02e6b68
1 parent 74860c3
commit 02e6b68
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/GillianCore/parserAndCompiler/ParserAndCompiler.ml b/GillianCore/parserAndCompiler/ParserAndCompiler.ml
@@ -63,7 +63,9 @@ module type S = sig
   val initialize : Exec_mode.t -> unit
 end
 
-module Dummy : S with type init_data = unit = struct
+module Dummy :
+  S with type init_data = unit and type Annot.t = Gil_syntax.Annot.Basic.t =
+struct
   module TargetLangOptions = struct
     type t = unit