Avoid spurious fallthrough (fortunately harmless here).

diff --git a/src/microcode/debug.c b/src/microcode/debug.c
index 13e5e44c10ce9e91319b40879479c6a978d5fbb0..0d22b2865fb8e968b6e4180b7c1a5b6c7a6f772e 100644 (file)
--- a/src/microcode/debug.c
+++ b/src/microcode/debug.c
@@ -633,6 +633,7 @@ print_object (outf_channel stream, SCHEME_OBJECT obj)
        SCHEME_OBJECT entry =
          (MAKE_POINTER_OBJECT (TC_COMPILED_ENTRY, entry_addr));
        print_compiled_entry (stream, entry);
+       return;
       }
 #endif