X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fstate.mli;fp=src%2Fstate.mli;h=5479b548940c12e219e6fd69c9b931ab29251b3e;hb=d9c57ef2b714c19e98e78243c459c382225ab7e6;hp=df5d277ab420585d6f3f04b4ed598043ceb5fe29;hpb=a0ad65a550db4585332e005d5a77151b076f3fd7;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