From daae678047ee2a1c53d4dc423976f77e40ba753f Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Wed, 28 Sep 2016 16:08:40 +0200 Subject: FIX: a bug in the pattern matching --- lib/flags.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/flags.ml') 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 -- cgit v1.2.3