Skip to content

Commit

Permalink
Rm spurious comments
Browse files Browse the repository at this point in the history
Co-authored-by: Simmo Saan <[email protected]>
  • Loading branch information
michael-schwarz and sim642 authored May 20, 2024
1 parent 820391d commit 9084ba4
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/analyses/tutorials/taint.ml
Original file line number Diff line number Diff line change
Expand Up @@ -31,9 +31,6 @@ struct
let context ctx _ _ = ()
let startcontext () = ()

(* Queries *)

(** Determines whether a variable [v] is tainted, given a [state]. *)

(** Determines whether an expression [e] is tainted, given a [state]. *)
let rec is_exp_tainted (state:D.t) (e:Cil.exp) = match e with
Expand Down

0 comments on commit 9084ba4

Please sign in to comment.