X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/0a24e44d4e9f82f8d3d83de8e58c83c8cf2868b6..6ade8b0a3251e44b34c6bdbbd9403e36d6fd6231:/util/mark.sml

diff --git a/util/mark.sml b/util/mark.sml
index a83f65a..c3b8348 100644
--- a/util/mark.sml
+++ b/util/mark.sml
@@ -27,6 +27,7 @@ sig
 
   (* data: remove the markings *)
   val data : 'a marked -> 'a
+  val kane : 'a marked -> 'a
 
   (* ext: retrieve positional information from marked value*)
   val ext : 'a marked -> ext option
@@ -64,6 +65,7 @@ struct
   fun naked d = (d, NONE)
 
   fun data (d, e) = d
+  val kane = data
   fun ext (d, e) = e
 
   fun extmin ((l1, c1), (l2, c2)) =