TypeError: int() argument when using fill_in_gaps function

[Max160]

Hi!

I tried to use the fill_in_gaps function for the first time, as it may be very useful in my usecase.

But it never works, always returning the following error message:

[/usr/local/lib/python3.11/dist-packages/stable_whisper/result.py](https://localhost:8080/#) in fill_in_gaps(self, other_result, min_gap, case_sensitive, strip, ignore_punctuations, verbose)
   2503         self.reassign_ids()
   2504         self._update_history(
-> 2505             f'fg={other_path}+{min_gap}+{int(case_sensitive)}+{int(strip)}+{ignore_punctuations}+{int(verbose)}'
   2506         )
   2507         return self

TypeError: int() argument must be a string, a bytes-like object or a real number, not 'function'

Whether you're putting a WhisperResult as an argument or the path of a JSON, this error message appears every time. Isn't it due to the "strip" argument, that is a basic function in python?

[jianfch]

Fixed after 650cc4b.