remove german comment

goblint · Jan 26, 2024 · e4de37e · e4de37e
1 parent e69e883
commit e4de37e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/analyses/wrapperFunctionAnalysis.ml b/src/analyses/wrapperFunctionAnalysis.ml
@@ -146,7 +146,6 @@ module MallocWrapper : MCPSpec = struct
 
   let query (ctx: (D.t, G.t, C.t, V.t) ctx) (type a) (q: a Q.t): a Q.result =
     let wrapper_node, counter = ctx.local in
-    (* Variable von Allozierten Block zurückgeben -> block in dieser Zeile zu repräsentieren*)
     match q with
     | Q.AllocVar {on_stack = on_stack} ->
       let node = match wrapper_node with