diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el
index c1240f5..5c1bc3c 100755
--- a/modules/home/users/msyds/emacs/lisp/syd/agda.el
+++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el
@@ -136,9 +136,6 @@
       (setq-local use-default-font-for-symbols nil)
       (buffer-face-set 'syd-agda2-default)
       (set-fontset-font
-       t 'symbol syd-agda2-symbol-font)
-      (face-remap-add-relative
-       'highlight
-       `((t :font ,(font-spec :family "IBM Plex Mono")))))))
+       t 'symbol syd-agda2-symbol-font))))
 
 (provide 'syd/agda)