From f5b08b01bd06a4ce88f6cc28f30eb180b45d1419 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Tue, 3 Jul 2012 01:13:44 -0700 Subject: Dafny: added copredicates --- Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 1 + 1 file changed, 1 insertion(+) (limited to 'Util/VS2010/DafnyExtension') diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index d621b1a9..80976499 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -244,6 +244,7 @@ namespace DafnyLanguage case "class": case "codatatype": case "constructor": + case "copredicate": case "datatype": case "decreases": case "else": -- cgit v1.2.3