Try extra space

worc4021 · Dec 19, 2024 · 89c5341 · 89c5341
1 parent 5ba53a4
commit 89c5341
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/mumps_common.h.patch.in b/src/mumps_common.h.patch.in
@@ -10,3 +10,4 @@
 < #endif
 ---
 > @F_SYMBOL@
+>