X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fstate.mli;h=5479b548940c12e219e6fd69c9b931ab29251b3e;hb=refs%2Fheads%2Fmaster;hp=df5d277ab420585d6f3f04b4ed598043ceb5fe29;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/state.mli b/src/state.mli
index df5d277..5479b54 100644
--- a/src/state.mli
+++ b/src/state.mli
@@ -1,4 +1,4 @@
 
 include Sigs.T with type t = int
 val make : unit -> t
-val dummy : t 
+val dummy : t