From 7fa13c57ecf8918be30e69afca895a1595cbc31d Mon Sep 17 00:00:00 2001
From: Yi-Ping Pan <pan.yiping.fi@gmail.com>
Date: Sun, 28 Apr 2024 20:30:49 +0800
Subject: [PATCH] Update document: minimal required ocamel-base-compiler
 version

ocaml 4.06 does not support "pure" token
Issue #88
---
 docs/source/installation.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/installation.rst b/docs/source/installation.rst
index 626e17f..708cc99 100644
--- a/docs/source/installation.rst
+++ b/docs/source/installation.rst
@@ -273,7 +273,7 @@ These are often used as reference models in RISCOF.
 
        $ sudo apt-get install opam  build-essential libgmp-dev z3 pkg-config zlib1g-dev
        $ opam init -y --disable-sandboxing
-       $ opam switch create ocaml-base-compiler.4.06.1
+       $ opam switch create ocaml-base-compiler.4.08.1
        $ opam install sail -y
        $ eval $(opam config env)
        $ git clone https://github.com/riscv/sail-riscv.git