From 77143c833cbb14a20c704fb60fc28dd94edb44eb Mon Sep 17 00:00:00 2001
From: Reza Ahmadi <reza.ahmadi@uta.fi>
Date: Fri, 18 Jul 2014 21:16:40 +0300
Subject: added trait feature:  -possibility to declare traits in Dafny 
 -possibility to extend a class by a trait  -possibility to override body-less
 methods

---
 Util/latex/dafny.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util/latex/dafny.sty')

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 785cf6f1..40b994ba 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -5,7 +5,7 @@
 \usepackage{listings}
 
 \lstdefinelanguage{dafny}{
-  morekeywords={class,datatype,codatatype,type,iterator,
+  morekeywords={class,datatype,codatatype,type,iterator,trait,extends,
       bool,nat,int,real,object,set,multiset,seq,array,array2,array3,map,
       function,predicate,copredicate,
       ghost,var,static,refines,
-- 
cgit v1.2.3

