aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
diff options
context:
space:
mode:
authorGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2018-06-11 13:38:37 +0200
committerGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2018-06-11 13:38:37 +0200
commitec741e8bb1bdf69f0be4bb6b594560af57f8811c (patch)
tree02e713881b285ba13157b0bbc1310daa0a23dd5c /dev/doc
parent034b70449c094b1b5b022a0596d7639a3b08ca39 (diff)
[build] Fix checks and notes noting 4.02.1 instead of 4.02.3
Bumping to 4.02.3 was decided some time ago in the WG, however a couple of places escaped updating.
Diffstat (limited to 'dev/doc')
-rw-r--r--dev/doc/profiling.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/profiling.txt b/dev/doc/profiling.txt
index 9d2ebf0d4..b5dd8445d 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.1+fp
+opam switch 4.02.3+fp
./configure -local -debug
make
perf record -g bin/coqtop -compile file.v