X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/12aa4087bee3e70f170d7457794921de4e385227..075222c771a121b12d6f07f39af868ae14cd06a1:/util/mark.sml?ds=inline

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)) =