Update Revolute.mo