Fix order of imports.

This fixes a bug in 916ff44a causing proof mode notations not being
pretty printed.
1 job for master
Status Job ID Name Coverage
  Test
passed #492
coq
buildjob

00:03:50