Casino owners can rest easy — the state won’t be going after more of their earnings.