[nongnu] elpa/idris-mode 5972512 3/8: [ cosmetic ] Upstream change from idris2.

[ELPA Syncer]

branch: elpa/idris-mode
commit 597251269c24aa0737ad56d86e1415bcca680ffe
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>

    [ cosmetic ] Upstream change from idris2.
---
 idris-settings.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-settings.el b/idris-settings.el
index aa94af2..9d8d702 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -113,7 +113,7 @@ The log is placed in `idris-event-buffer-name'."
   :group 'idris-faces)
 
 (defface idris-semantic-postulate-face
-  '((t (:inherit idris-semantic-function-face :weight semi-bold)))
+  '((t (:inherit idris-unsafe-face :weight semi-bold)))
   "The face to be used to highlight postulated values"
   :group 'idris-faces)