Backtrack on synchronizing universe counter with reset mechanism, section discharge is not ready for that.
Backtrack on synchronizing universe counter with reset
mechanism, section discharge is not ready for that.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@14765 85f007b7-540e-0410-9357-904b9bb8a0f7

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq