diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
| commit | 3c5ecdcfa6247ceafa198ce619f8317da731f46c (patch) | |
| tree | 0f9ececf5d75c129dade597b46951a679c2f6c92 /tools/profiling.mli | |
| parent | 8b2be670a53f6329950726dd15f55edfa58d12c1 (diff) | |
| download | ocaml-3c5ecdcfa6247ceafa198ce619f8317da731f46c.tar.gz | |
Remove uses of ;; from the codebase
Diffstat (limited to 'tools/profiling.mli')
| -rw-r--r-- | tools/profiling.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/profiling.mli b/tools/profiling.mli index 9d97a4a52f..8051817eac 100644 --- a/tools/profiling.mli +++ b/tools/profiling.mli @@ -16,5 +16,5 @@ (* Run-time library for profiled programs *) -val counters: (string * (string * int array)) list ref;; -val incr: int array -> int -> unit;; +val counters: (string * (string * int array)) list ref +val incr: int array -> int -> unit |