X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fstate.mli;h=1d25a67246d8d0ef3ec76fc0d921ad08fe417023;hp=ef54518900790b5a08044b2516d2c71e265aaf16;hb=41dd1fed04cabad212f10fce3484545f6e9d9444;hpb=cba2938d929fd5119b1491686ddc224d5af618c6 diff --git a/src/state.mli b/src/state.mli index ef54518..1d25a67 100644 --- a/src/state.mli +++ b/src/state.mli @@ -15,7 +15,7 @@ (** Implementation of states *) -include Sigs.Type with type t = int +include Common_sig.Type with type t = int val make : unit -> t (** Generate a fresh state *)