Skip to content

Commit e4de37e

Browse files
committed
remove german comment
1 parent e69e883 commit e4de37e

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/analyses/wrapperFunctionAnalysis.ml

-1
Original file line numberDiff line numberDiff line change
@@ -146,7 +146,6 @@ module MallocWrapper : MCPSpec = struct
146146

147147
let query (ctx: (D.t, G.t, C.t, V.t) ctx) (type a) (q: a Q.t): a Q.result =
148148
let wrapper_node, counter = ctx.local in
149-
(* Variable von Allozierten Block zurückgeben -> block in dieser Zeile zu repräsentieren*)
150149
match q with
151150
| Q.AllocVar {on_stack = on_stack} ->
152151
let node = match wrapper_node with

0 commit comments

Comments
 (0)