Delete trailing whitespace.

diff --git a/src/microcode/cmpint.c b/src/microcode/cmpint.c
index 69a890f2c78fcd09fd82298e97b73c8db2abdb7a..2f576511e33670e25a6a597c718ffb3690a6b134 100644 (file)
--- a/src/microcode/cmpint.c
+++ b/src/microcode/cmpint.c
@@ -871,7 +871,7 @@ DEFINE_SCHEME_ENTRY (comp_link_caches_restart)
   result = (link_section (&s));
   if (result == PRIM_DONE)
     result = (link_remaining_sections (&s));
-  
+
   end_linking_cc_block (&s);
   if (result != PRIM_DONE)
     return (result);