
diff -r 8fc109f36b78 -r eecc4d5a2172 langs.sty
--- a/langs.sty	Fri Nov 01 13:21:51 2019 +0000
+++ b/langs.sty	Wed Nov 06 15:04:40 2019 +0000
@@ -68,6 +68,9 @@
   morekeywords={ldc,iload,istore,ifeq,if_icmpge},
 }[keywords]
 
+\lstdefinelanguage{LLVMIR}{
+  otherkeywords={let,in,add,mul},
+}[strings]
 
 \newcommand{\code}[1]{{\lstinline{#1}}}
 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}




