[pypy-svn] r23834 - pypy/dist/pypy/lib/logic/computation_space

[auc at codespeak.net]

Author: auc
Date: Wed Mar  1 16:08:18 2006
New Revision: 23834

Modified:
   pypy/dist/pypy/lib/logic/computation_space/strategies.py
Log:
fix alternative


Modified: pypy/dist/pypy/lib/logic/computation_space/strategies.py
==============================================================================
--- pypy/dist/pypy/lib/logic/computation_space/strategies.py	(original)
+++ pypy/dist/pypy/lib/logic/computation_space/strategies.py	Wed Mar  1 16:08:18 2006
@@ -15,7 +15,7 @@
             return None
         elif status == csp.Succeeded:
             return space
-        elif status == csp.Alternatives(2):
+        elif status == csp.Alternative(2):
             new_space = space.clone()
             space.commit(1)
             outcome = do_dfs(space)
@@ -50,7 +50,7 @@
         if status == csp.Succeeded:
             print ' '*len(sp_stack), "solution !"
             solutions.append(space)
-        elif status == csp.Alternatives(2):
+        elif status == csp.Alternative(2):
             print ' '*len(sp_stack), "branches ..."
             sp1 = space.clone()
             sp1.commit(1)