From 7d3b46c53430afd3c85b827fe1814202de3399a6 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sat, 29 Feb 2020 17:09:50 +0100
Subject: Update the OCaml version in `default.nix` to 4.09.0

It is more convenient to use recent versions of OCaml while developing
(better backtraces, etc).
---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index ae6a8d06e5..841bccb129 100644
--- a/default.nix
+++ b/default.nix
@@ -22,7 +22,7 @@
 # a symlink to where Coq was installed.
 
 { pkgs ? import ./dev/nixpkgs.nix {}
-, ocamlPackages ? pkgs.ocamlPackages
+, ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_09
 , buildIde ? true
 , buildDoc ? true
 , doInstallCheck ? true
-- 
cgit v1.2.3