The tactic form fix N where N is a number is deprecated as it depends on the name of the current lemma.
The backwards compatible fix is to use fix name_of_the_fixpoint N.
fix name_of_the_fixpoint N
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.