diff options
author | Matej Kosik <matej.kosik@inria.fr> | 2016-09-29 10:34:21 +0200 |
---|---|---|
committer | Matej Kosik <matej.kosik@inria.fr> | 2016-09-29 10:34:21 +0200 |
commit | d02c9c566c58e566a1453827038f2b49b695c0a5 (patch) | |
tree | 618c7cf31d2fbe1bff9df08e13d82298b4ae3bde /lib/flags.ml | |
parent | 6c1de7bcc111390400b0791cc910c86d9060333b (diff) | |
parent | 7f96d753d65f7b6fefd725870e1a00f7d942aed7 (diff) |
Updating the code wrt. to some Ocaml compiler warnings.
Diffstat (limited to 'lib/flags.ml')
-rw-r--r-- | lib/flags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index df00eba7b..40b7a29d2 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -122,7 +122,7 @@ let version_strictly_greater v = match !compat_version, v with | _ , V8_4 -> false | V8_4 , _ -> true | _ , V8_3 -> false -| v8_3 , _ -> true +| V8_3 , _ -> true | V8_2 , V8_2 -> false |