Hi there,
Might be a little too late, but for anyone wondering:
You can find woocommerce-template.php under wp-content/plugins/woocommerce
The line of code you're looking for from this thread (providing you havent altered your woocommerce-template) is line 43