X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=generator-lib%2Fwrappi_utils.ml;fp=generator-lib%2Fwrappi_utils.ml;h=958c55e748756316efbb38c9a78f00d7e97b432e;hb=6964a24290a2d645b3155353e08750f37930146a;hp=44744231ece710d6c3a910697fdd3b58454d9fbe;hpb=68483fce4f959886866af28c1c3342c2a6fcb410;p=wrappi.git diff --git a/generator-lib/wrappi_utils.ml b/generator-lib/wrappi_utils.ml index 4474423..958c55e 100644 --- a/generator-lib/wrappi_utils.ml +++ b/generator-lib/wrappi_utils.ml @@ -40,3 +40,5 @@ let count_chars c str = if c = String.unsafe_get str i then incr count done; !count + +module StringMap = Map.Make (String)