WC_Shortcode_Products not found

Hi,
I get ‘WC_Shortcode_Products’ not found PHP Fatal Error.
I have remove this lines from wc-class-dp-shortcode-discontinued.php
My Woocommerce version is 3.1.2

After this modification your plugin works fine, but I don’t know what will this change cause?

/**
* Products shortcode class.
*/
class DP_Shortcode_Discontinued extends WC_Shortcode_Products {

/**
* Set sale products query args.
*
* @since 3.2.0
* @param array $query_args Query args.
*/
protected function set_discontinued_products_query_args( &$query_args ) {
$query_args[‘post__in’] = get_transient( ‘dp_hide_from_shop’ );
}
}