chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f3d62e) | patch
vpid, miri: Disable the check fn too
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 15:31:27 +0000 (16:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 20:40:36 +0000 (21:40 +0100)
commitb0d8a6ddd3a9056f9408f76cb36b820cae67b4ca
tree897ae940f7d40f36bc805aec74bd012c9c71b8e0tree | snapshot
parent4f3d62ed7d5def560a8b27d33f1394e0dd43f73fcommit | diff
vpid, miri: Disable the check fn too

This is then unused and produces a warning.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/vpid.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.