From f4f9a650ba342f2e02f221a6f825e13f6764526e Mon Sep 17 00:00:00 2001
From: daniel <jcpetruzza@gmail.com>
Date: Thu, 30 Jan 2014 16:47:39 +0100
Subject: [PATCH] BUGFIX: GML formulas were wrong

---
 randcool/randcool.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/randcool/randcool.hs b/randcool/randcool.hs
index d3eb3d3..e09592f 100644
--- a/randcool/randcool.hs
+++ b/randcool/randcool.hs
@@ -43,8 +43,8 @@ instance Mod K where
 newtype G = G Nat
 
 instance Mod G where
-  showDia (G n) = showString "{>"  . shows n . showString " r}"
-  showBox (G n) = showString "{<=" . shows n . showString " r}"
+  showDia (G n) = showString "{>= "  . shows n . showString " r}"
+  showBox (G n) = showString "{<= " . shows n . showString " r}"
 
 
 newtype CL = CL I.IntSet
-- 
GitLab