Newly developed genome-editing tools, such as the clustered regularly interspaced short palindromic repeat (CRISPR)–Cas9 system, allow simple and rapid genetic modification in most model organisms and human cell lines. Here, we report the production and analysis of mice carrying the inactivation via deletion of a genomic insulator, a key non-coding regulatory DNA element found 5' upstream of the mouse tyrosinase (Tyr) gene. Targeting sequences flanking this boundary in mouse fertilized eggs resulted in the efficient deletion or inversion of large intervening DNA fragments delineated by the RNA guides. The resulting genome-edited mice showed a dramatic decrease in Tyr gene expression as inferred from the evident decrease of coat pigmentation, thus supporting the functionality of this boundary sequence in vivo, at the endogenous locus. Several potential off-targets bearing sequence similarity with each of the two RNA guides used were analyzed and found to be largely intact. This study reports how non-coding DNA elements, even if located in repeat-rich genomic sequences, can be efficiently and functionally evaluated in vivo and, furthermore, it illustrates how the regulatory elements described by the ENCODE and EPIGENOME projects, in the mouse and human genomes, can be systematically validated.