1 files changed, 13 insertions, 0 deletions
diff --git a/sucl/spine.dcl b/sucl/spine.dcl
index 88f1e68..c9aa361 100644
--- a/sucl/spine.dcl
+++ b/sucl/spine.dcl
@@ -10,6 +10,7 @@ from general import Optional
 from StdOverloaded import ==
 from StdFile import <<<
 from StdString import toString
+from cleanversion import String
 
 /*
 
@@ -92,6 +93,18 @@ that the node was in root normal form.
 :: Answer sym var pvar
    :== Optional (Spine sym var pvar)
 
+// Write a strategy answer to a file
+printanswer ::
+    (sym->String)
+    (var->String)
+    (pvar->String)
+    String
+ -> (Answer sym var pvar)
+    *File
+ -> .File
+ |  == var
+ &  == pvar
+
 /*
 
 Spine  describes the spine returned by a strategy.  It contains the node