<?php
if ( ! function_exists( 'woocommerce_catalog_ordering' ) ) {

	/**
	 * Output facet sort box instead of woocommerce's
	 */
	function woocommerce_catalog_ordering() {
		echo facetwp_display( 'sort' );
	}
}