Enfold 4.7.2 and Woocommerce

I updated from enfold 4.6.2 via FTP to 4.7.2 (in WP ver. 4.9.13). That ended with the fatal error:

Fatal error: Uncaught Error: Call to undefined function AviaGutenberg() in 
.../httpdocs/wp-content/themes/enfold/config-woocommerce/woo-loader.php:13 
Stack trace: #0 .../httpdocs/wp-content/themes/enfold/functions.php(646): require_once() 
#1 .../httpdocs/wp-settings.php(426): include('/var/www/vhosts...') 
#2 .../httpdocs/wp-config.php(118): require_once('/var/www/vhosts...') 
#3 .../httpdocs/wp-load.php(37): require_once('/var/www/vhosts...') 
#4 .../httpdocs/wp-admin/admin.php(31): require_once('/var/www/vhosts...') 
#5 ...httpdocs/wp-admin/plugins.php(10): require_once('/var/www/vhosts...') 
#6 {main} thrown in /var/www/vhosts/ ... /httpdocs/wp-content/themes/enfold/config-woocommerce/woo-loader.php on line 13

When solving the problem I worked with enfold theme, not a child theme. All plugins disabled. The error appears as soon as Woocommerce (ver. 3.7.1) is activated.

After commented out in the /wp-content/themes/enfold/config-woocommerce/woo-loader.php:

if ( class_exists( 'WooCommerce' ) && function_exists( 'WC' ) && version_compare( WC()->version, '3.5.7', '>=' ) )
{
	require_once( 'config.php' );
/* Comment START
	if( 'block' == AviaGutenberg()->selected_editor() )
	{
		require_once( 'class-avia-wc-block-editor.php' );
	}
 Comment END */
}
else
{
	require_once( 'config-356.php' );
}

the site works again. I also find no option in Enfold Settings to choose the editor.

Regards
Günter