We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 62e26ed commit 424f471Copy full SHA for 424f471
analysis/reanalyze/src/Exception.ml
@@ -251,9 +251,7 @@ let traverseAst () =
251
in
252
let isRaise s =
253
s = "Pervasives.raise"
254
- || s = "Pervasives.raise_notracee"
255
- || s = "Stdlib.raise"
256
- || s = "Stdlib.raise_notracee"
+ || s = "Pervasives.raise_notrace"
257
258
let raiseArgs args =
259
match args with
@@ -288,7 +286,7 @@ let traverseAst () =
288
286
{
289
287
message =
290
Format.asprintf
291
- "@{<info>%s@} can be analyzed only if called direclty"
+ "@{<info>%s@} can be analyzed only if called directly"
292
(calleeName |> Name.toString);
293
});
294
currentEvents :=
0 commit comments