aboutsummaryrefslogtreecommitdiff
path: root/sucl/strat.icl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/strat.icl')
-rw-r--r--sucl/strat.icl5
1 files changed, 3 insertions, 2 deletions
diff --git a/sucl/strat.icl b/sucl/strat.icl
index cc49256..8d1d469 100644
--- a/sucl/strat.icl
+++ b/sucl/strat.icl
@@ -9,6 +9,7 @@ import rule
import graph
import pfun
import basic
+from general import No,Yes
import StdEnv
/*
@@ -110,8 +111,8 @@ makernfstrategy
makernfstrategy hist strat rnfnodes node graph
= substrat [] spinecont rnfanswer node
- where spinecont spine = Present spine
- rnfanswer = Absent
+ where spinecont spine = Yes spine
+ rnfanswer = No
substrat spinenodes spinecont rnfanswer node
| isMember node spinenodes