Skip to content

Commit

Permalink
equals
Browse files Browse the repository at this point in the history
  • Loading branch information
sadiqj committed Nov 8, 2021
1 parent d6c793a commit 5b52e1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion asmcomp/polling.ml
Expand Up @@ -305,7 +305,7 @@ let report_error ppf = function
List.fold_left (fun s i -> s + match i.desc with Iop(Ipoll _) -> 1 | _ -> 0)
0 instrs in
let num_user_polls = (List.length instrs) - num_inserted_polls in
if num_user_polls == 0 then
if num_user_polls = 0 then
fprintf ppf "Function with poll-error attribute contains polling \
points (inserted by the compiler)\n"
else begin
Expand Down

0 comments on commit 5b52e1c

Please sign in to comment.