Change ? to !

diff --git a/Connections.hs b/Connections.hs
index e43076fff466a59b3745e7aaeb8bb4f8a6ef32f4..3e3c34b8299bac80768f7a40ff9673803fb48c8e 100644 (file)
--- a/Connections.hs
+++ b/Connections.hs
@@ -159,7 +159,7 @@ arbFormula names s =
 instance Arbitrary Formula where
   arbitrary = do
       n <- arbitrary :: Gen Integer
-      sized $ arbFormula (map (\x -> Name ('?' : show x))  [0..(abs n)])
+      sized $ arbFormula (map (\x -> Name ('!' : show x))  [0..(abs n)])
 
 class ToFormula a where
   toFormula :: a -> Formula
@@ -248,8 +248,8 @@ propInvFormulaIncomp phi b = incomparables (invFormula phi b)
 --   where ys = i:map (\n -> Name (s ++ show n)) [0..]
 
 gensym :: [Name] -> Name
-gensym xs = Name ('?' : show max)
-  where max = maximum' [ read x | Name ('?':x) <- xs ]
+gensym xs = Name ('!' : show max)
+  where max = maximum' [ read x | Name ('!':x) <- xs ]
         maximum' [] = 0
         maximum' xs = maximum xs + 1