1 files changed, 2 insertions, 2 deletions
diff --git a/defs.tex b/defs.tex
index 2aeac7d..3cc5e4c 100755
--- a/defs.tex
+++ b/defs.tex
@@ -143,8 +143,8 @@
   style=easycrypt-default,
   keywordsprefix={'},
   morekeywords=[1]{unit,bool,int,real,bitstring,array,list,matrix,word},
-  morekeywords=[2]{type,datatype,op,axiom,lemma,module,pred,const,declare},
-  morekeywords=[3]{var,fun,charfun},
+  morekeywords=[2]{type,datatype,op,caxiom,axiom,lemma,module,pred,const,declare},
+  morekeywords=[3]{var,fun,charfun,cost},
   morekeywords=[4]{while,if},
   morekeywords=[5]{theory,end,clone,import,export,as,with,section},
   morekeywords=[6]{forall,exists,lambda},