Search for a filter on 'user_can_richedit'. Remove that code from the theme. This is a perfect illustration for the argument that themes should do as little as possible. 🙂
The code will probably look like this:
add_filter( 'user_can_richedit', '__return_false' );