version 1.3.1

6a146c82 · Bruno Guillaume · b2017c72 · 6a146c82 · 6a146c82 · 6a146c82
Commit 6a146c82 authored Jan 18, 2020 by Bruno Guillaume
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 2 deletions

CHANGES.md CHANGES.md +4 -0

VERSION VERSION +1 -1

src/grew_utils.ml src/grew_utils.ml +1 -1

No files found.
--- a/CHANGES.md
+++ b/CHANGES.md
+## 1.3.1 (2020/01/18)
+  * /!\ change output of grep command (see http://grew.fr/run#grep-mode)
+  * remove Pervasives deprecated ocaml lib
+
 # 1.3.0 (2019/06/24)
  * Usage of stdin/stdout for data handling
  * Empty GRS by default

--- a/VERSION
+++ b/VERSION
-1.3.0
+1.3.1
--- a/src/grew_utils.ml
+++ b/src/grew_utils.ml
@@ -229,7 +229,7 @@ end (* module Corpus *)
 module Int =
  struct
    type t = int
-    let compare = Pervasives.compare
+    let compare = Stdlib.compare
  end

 module Int_set = Set.Make (Int)