a

a
Revert "corrected HopDoubling"

This reverts commit 5a802fe62ab5e24706516203809693c466af8c1a.