From ea9670b9078d411c2867b05c5716d75724d54db4 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 30 Sep 2010 13:54:49 +0000
Subject: Util: Minor changes to the LaTeX listings packages for Boogie and
 Dafny.

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

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

diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 9eb941de..e82ed0dc 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -26,13 +26,14 @@
     {&&}{$\land$}1
     {||}{$\lor$}1
     {<=}{$\le$}1
-    {=>}{$\ge$}1
+    {>=}{$\ge$}1
     % the following isn't actually Dafny, but it gives the option to produce nicer latex
     {|=>}{$\Rightarrow$}2
     {<=set}{$\subseteq$}1
     {+set}{$\cup$}1
     {*set}{$\cap$}1
     {==>}{$\Longrightarrow$}3 
+    {=>}{$\Rightarrow$}2
     {<==>}{$\Longleftrightarrow$}4 
     {forall}{$\forall$}1
     {exists}{$\exists$}1
-- 
cgit v1.2.3

