Removed a duplicate declaration of get_mu