From c2bf6e5682084ff9353e6b3769a7e19f297d898c Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Fri, 6 Oct 2023 14:46:34 +0200
Subject: [PATCH] Add missing keywords to documentation generator.

---
 crates/aiken-project/templates/js/highlightjs-aiken.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-project/templates/js/highlightjs-aiken.js b/crates/aiken-project/templates/js/highlightjs-aiken.js
index 64f3203c..d72ea93f 100644
--- a/crates/aiken-project/templates/js/highlightjs-aiken.js
+++ b/crates/aiken-project/templates/js/highlightjs-aiken.js
@@ -1,6 +1,6 @@
 hljs.registerLanguage("aiken", function (hljs) {
   const KEYWORDS =
-    "as when is const validator fn if else let use opaque pub expect trace todo error type";
+    "as when is const validator fn if else let use opaque pub expect trace todo error type pure fail";
   const COMMAS = {
     scope: "ponctuation",
     begin: "[, ]+",