public void updateSubTypes() {
		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_TYPES) != 0)
			GlobalOptions.err.println("setType of " + local.getName() + ": "
					+ local.getType());
		local.setType(type);
	}