class BIN_LE_B 

inherit

	COMP_BINARY_B
		rename
			Bc_le as operator_constant,
			il_le as il_operator_constant
		redefine
			generate_operator
		end;
	
feature

	generate_operator is
			-- Generate the operator
		do
			buffer.put_string (" <= ");
		end;

end