WordPress: remove the editor from the top of a post type in wp-admin

functions.php

<?php
function post_type_no_editor() {
    $post_type = 'insert_post_type_here';
    remove_post_type_support($post_type, 'editor');
}
add_action('init', 'post_type_no_editor', 100);