-
Raymond Toy authored
Since we got rid of the symbol `*scavenge-read-only-space*`, we can never scavenge the read-only space, so remove the C code that scavenges the space. Get rid of the unused var `read_only_space_size` too.
22e573f3
Since we got rid of the symbol `*scavenge-read-only-space*`, we can never scavenge the read-only space, so remove the C code that scavenges the space. Get rid of the unused var `read_only_space_size` too.