diff options
Diffstat (limited to 'sucl/strat.dcl')
| -rw-r--r-- | sucl/strat.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sucl/strat.dcl b/sucl/strat.dcl index c397013..c2b6ce6 100644 --- a/sucl/strat.dcl +++ b/sucl/strat.dcl @@ -8,6 +8,7 @@ from rule import Rule from graph import Graph,Node from StdOverloaded import == from StdClass import Eq +from cleanversion import String from history import HistoryAssociation,HistoryPattern,Link // for History from spine import Spine // for Answer @@ -71,7 +72,8 @@ checkarity // A strategy transformer that checks for constructor applications checkconstr - :: (sym->.Bool) + :: (sym->String) + (sym->.Bool) (Strategy sym var pvar .result) (Substrategy sym var pvar .result) (Graph sym var) |