Use inline_edge in more witness interfaces

goblint · Nov 6, 2023 · 5c8a377 · 5c8a377
1 parent 4279417
commit 5c8a377
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/witness/myARG.ml b/src/witness/myARG.ml
@@ -141,7 +141,7 @@ struct
   let equal_node_context _ _ = failwith "StackNode: equal_node_context"
 end
 
-module Stack (Cfg:CfgForward) (Arg: S):
+module Stack (Cfg:CfgForward) (Arg: S with module Edge = InlineEdge):
   S with module Node = StackNode (Arg.Node) and module Edge = Arg.Edge =
 struct
   module Node = StackNode (Arg.Node)

diff --git a/src/witness/svcomp.ml b/src/witness/svcomp.ml
@@ -76,7 +76,7 @@ sig
   val is_sink: Arg.Node.t -> bool
 end
 
-module StackTaskResult (Cfg:MyCFG.CfgForward) (TaskResult: TaskResult) =
+module StackTaskResult (Cfg:MyCFG.CfgForward) (TaskResult: TaskResult with module Arg.Edge = MyARG.InlineEdge) =
 struct
   module Arg = MyARG.Stack (Cfg) (TaskResult.Arg)