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

[Michael Hennebry]

@@ -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?
Examining lines 112 and 107 is uninformative.

Any idea what it means or why it is there?

-- 
Michael   hennebry(a)mail.cs.ndsu.NoDak.edu
"Occasionally irrational explanations are required"  --  Luke Roman

[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

[Michael Hennebry]

On Fri, 23 Jun 2023, Jakub Jelinek wrote:

>  On Thu, Jun 22, 2023 at 05:04:16PM -0500, Michael Hennebry wrote:
> > @@ -112,14 +107,14 @@ double sqrt_rn(double x) 
> > Is it a git-specific thing?
>
>  No.
>  info diffutils
>  and look for -p (--show-c-function) 
Got it.
Thanks.

-- 
Michael   hennebry(a)mail.cs.ndsu.NoDak.edu
"Occasionally irrational explanations are required"  --  Luke Roman