fix another bug in get_register_pointer()
1 file changed