@@ -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?
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
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.