Re: what does @@ -112,14 +107,14 @@ double sqrt_rn(double x) mean?

[Jakub Jelinek]

On Thu, Jun 22, 2023 at 05:04:16PM -0500, Michael Hennebry wrote:
> @@ -112,14 +107,14 @@ double sqrt_rn(double x)
> I'm running fedora 35.
> The line is part of the output from
> git diff -w proof -- > dif.out
> for sqrt_rn.c .
> It seems a random insertion.
> The @@'s and between them are in red,
> the rest purple.
> The sequence rn( occurs only in line 26 on both branches.
>
> Is it a git-specific thing?

No.
info diffutils
and look for -p (--show-c-function)

Jakub