tree 12666308bdef4ec87e632b20da69e63fe4823fd8
parent 1b9ee30b8380dfed8d9fe8ab59ad1a04515824b7
author Leonard Chan <leonardchan@google.com> 1686107505 +0000
committer Leonard Chan <leonardchan@google.com> 1686107505 +0000

[inih] Change void* to FILE*

UBSan was complaining about a function type mismatch on a call to an
ini_reader. The function shoulod essentially match the prototype for
fgets, but differs in the last argument which should be a FILE*.

Bug: 128274
Change-Id: I34ba7fc90d087ba6e48bcf95c48c1a066bf16ad2