From 75263302f1ae9ba1a23c6950b32c87d55b8b0d81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Thu, 30 Jan 2014 14:21:11 +0100
Subject: [PATCH] don't generate agent 0 on cl formulas
---
randcool/randcool.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/randcool/randcool.hs b/randcool/randcool.hs
index 96839b9..cfddcaf 100644
--- a/randcool/randcool.hs
+++ b/randcool/randcool.hs
@@ -107,7 +107,7 @@ numAgents n = CL <$> buildSet I.empty (n+1)
buildSet !acc m
| m <= 0 = pure acc
| otherwise = do heads <- rand
- let acc' = if heads then acc else I.insert (m-1) acc
+ let acc' = if heads then acc else I.insert m acc
buildSet acc' (m-1)
someFormula :: Rand mod -> RandConf -> Rand (Fm mod)
--
GitLab