From ef3fa51c12c450781facb61f54f465a77a359f83 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 15 May 2018 04:25:05 +0200
Subject: [ocaml] Update required OCaml version to 4.05.0

Closes #7380. Ubuntu 18.04 and Debian Buster will ship this OCaml
version so it makes sense we bump our dependency to 4.05.0 as we can
use some newer compiler features.
---
 dev/doc/profiling.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/doc')

diff --git a/dev/doc/profiling.txt b/dev/doc/profiling.txt
index 45766293c7..29e87df6b8 100644
--- a/dev/doc/profiling.txt
+++ b/dev/doc/profiling.txt
@@ -7,7 +7,7 @@ want to profile time or memory consumption. AFAIK, this only works for Linux.
 
 In Coq source folder:
 
-opam switch 4.02.3+fp
+opam switch 4.05.0+trunk+fp
 ./configure -local -debug
 make
 perf record -g bin/coqtop -compile file.v
-- 
cgit v1.2.3