X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.ml;h=ddaa89dac3c089a985018dfbfd9f58336f03ab96;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=effe9c34a753bf74e55d11890e69a3d1602ef759;hpb=db0ad408721f202e33785958211fe6e4228fce8f;p=SXSI%2Fxpathcomp.git

diff --git a/src/tag.ml b/src/tag.ml
index effe9c3..ddaa89d 100644
--- a/src/tag.ml
+++ b/src/tag.ml
@@ -11,7 +11,7 @@ type t = int
 external to_int : t -> int = "%identity"
 type operations = {
   tag :  string -> t;
-  to_string : t ->string;
+  to_string : t -> string;
   translate :  t -> t
 }