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

---
 Source/DafnyExtension/TokenTagger.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index 5068354a..438d9be6 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -284,6 +284,8 @@ namespace DafnyLanguage
                 case "calc":
                 case "case":
                 case "class":
+        	    case "trait":
+                case "extends":
                 case "codatatype":
                 case "colemma":
                 case "constructor":
-- 
cgit v1.2.3