[FFmpeg-user] filter for changing frame rate

[Jon bae]

Hello everybody,
I have videos with 23.97 fps and I want to change the fps to 25. For this I
don't want to use fps or framerate filter, but changing the pts with:
setpts=1/1.0427093760427095*PTS

If I do this I have to define also the output frame rate with the -r
command. But I would like to change the frame rate with an video filter,
after setting the pts.

Do you know a way for that?