clean up trace statement

goblint · Jan 24, 2024 · ec3fa74 · ec3fa74
1 parent 599e67e
commit ec3fa74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/apron/relationAnalysis.apron.ml b/src/analyses/apron/relationAnalysis.apron.ml
@@ -1008,7 +1008,7 @@ struct
       let vars = Basetype.CilExp.get_vars e |> List.unique ~eq:CilType.Varinfo.equal |> List.filter RD.Tracked.varinfo_tracked in
       let rel = RD.forget_vars rel (List.map RV.local vars) in (* havoc *)
       let rel = List.fold_left (assert_type_bounds ask) rel vars in (* add type bounds to avoid overflow in top state *)
-      let rel = if M.tracing then M.trace "apron" "event\n"; RD.assert_inv rel e false (no_overflow ask e_orig) in (* assume *)
+      let rel = RD.assert_inv rel e false (no_overflow ask e_orig) in (* assume *)
       let rel = RD.keep_vars rel (List.map RV.local vars) in (* restrict *)
 
       (* TODO: parallel write_global? *)