From b3bdc6b2334b7b817d90b1d1d8d9faa824dca624 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Mon, 26 Sep 2016 11:31:39 +0200 Subject: Add a compatibility flag for 8.6 and refactor. --- lib/flags.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/flags.mli') diff --git a/lib/flags.mli b/lib/flags.mli index 8fe64d24f..e498dc6b5 100644 --- a/lib/flags.mli +++ b/lib/flags.mli @@ -62,7 +62,7 @@ val raw_print : bool ref val record_print : bool ref val univ_print : bool ref -type compat_version = V8_2 | V8_3 | V8_4 | V8_5 | Current +type compat_version = V8_2 | V8_3 | V8_4 | V8_5 | V8_6 | Current val compat_version : compat_version ref val version_strictly_greater : compat_version -> bool val version_less_or_equal : compat_version -> bool -- cgit v1.2.3