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