From 721a921d3e844b4505f5565b46c84ffb58500f13 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 10 Feb 2014 18:08:31 -0800
Subject: Italicize attributes in latex mode for Dafny

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

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 83c2bf75..644e7581 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -86,6 +86,7 @@
   sensitive=true,  % case sensitive
   morecomment=[l]{//},
   morecomment=[s]{/*}{*/},
+  morecomment=[s]{\{:}{\}},
   morestring=[b]",
   numbers=none,
   firstnumber=0,
-- 
cgit v1.2.3