We consider compact selfadjoint pseudodifferential operators with symbols that are not smooth with respect to x on a fixed set. We obtain conditions for the validity of the Weyl formula for the spectral asymptotics and apply the results to some class of pseudodifferential operators.