diff -r 6928a677d26f -r fd88a0656164 langs.sty --- 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}}}