From 09ce38742c5232c048857cb1fa18936782ba8fa1 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 13 Oct 2010 12:38:51 +0000
Subject: [PATCH] fix PGF.Generate.restart. The restart should be done only if
 there are some solutions found

---
 src/runtime/haskell/PGF/Generate.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs
index 5073b34ca..3e4285617 100644
--- a/src/runtime/haskell/PGF/Generate.hs
+++ b/src/runtime/haskell/PGF/Generate.hs
@@ -148,5 +148,5 @@ restart :: RandomGen g => g -> (g -> [a]) -> [a]
 restart g f =
   let (g1,g2) = split g
   in case f g1 of
-       []     -> restart g2 f
+       []     -> []
        (x:xs) -> x : restart g2 f