langs.sty
changeset 819 c9859fa5178f
parent 712 d6364717cfe1
child 820 9d5e4fa0c64d
--- a/langs.sty	Mon Dec 14 19:22:12 2020 +0000
+++ b/langs.sty	Thu Dec 17 17:43:40 2020 +0000
@@ -70,7 +70,7 @@
 }[keywords]
 
 \lstdefinelanguage{LLVMIR}{
-  otherkeywords={let,in,add,mul},
+  otherkeywords={let,in,add,mul,KLet},
 }[strings]
 
 \newcommand{\code}[1]{{\lstinline{#1}}}