diff --git a/emacs/init.el b/emacs/init.el
index 3e4f09e..175ee57 100644
--- a/emacs/init.el
+++ b/emacs/init.el
@@ -96,9 +96,9 @@
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
- '(tuareg-font-lock-operator-face ((t (:inherit font-lock-keyword-face))))
  '(hl-line ((t (:background "black"))))
- '(proof-locked-face ((t (:underline nil :weight bold)))))
+ '(proof-locked-face ((t (:underline nil :weight bold))))
+ '(tuareg-font-lock-operator-face ((t (:inherit font-lock-keyword-face)))))
 
 (require 'autopair)
 (autopair-global-mode)