committed suggestion https://github.com/metamath/metamath-exe/pull/15…

…3/files#r1312403383
metamath · Sep 1, 2023 · 5438180 · 5438180
1 parent 02a2103
commit 5438180
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/metamath.c b/src/metamath.c
@@ -3705,8 +3705,8 @@ void command(int argc, char *argv[]) {
 "---------Clip out the proof below this line to put it in the source file:\n");
           }
           if (switchPos("COMPRESSED")) {
+            // "&" is special flag to break compressed part of proof anywhere.
             printLongLine(cat(space(indentation), str1, " $.", NULL),
-              // "&" is special flag to break compressed part of proof anywhere.
               space(indentation), "& ");
           } else {
             printLongLine(cat(space(indentation), str1," $.", NULL),