microcode/debug.c (verify_compiled): A cast to quiet gcc.

diff --git a/src/microcode/debug.c b/src/microcode/debug.c
index 573e68e3d016dcf6e04c915bb84e1d999f3848d1..ca6b9d430c3b96a111b14e990421b62606e2420d 100644 (file)
--- a/src/microcode/debug.c
+++ b/src/microcode/debug.c
@@ -993,7 +993,7 @@ verify_compiled (SCHEME_OBJECT object, unsigned long address)
              outf_error ("%#lx: Invalid block size\n", address);
              return (false);
            }
-         header_type = OBJECT_TYPE(*block);
+         header_type = OBJECT_TYPE(*((SCHEME_OBJECT *) block));
          if (! (header_type == TC_MANIFEST_VECTOR
                 || header_type == TC_MANIFEST_CLOSURE))
            {