| commit | c51c244ded49abe332635a126f381aedb1c67715 | |
| author | Gerald Point <gerald.point@labri.fr> | |
| Thu, 28 Jul 2022 09:18:11 +0000 (28 11:18 +0200) | ||
| committer | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr> | |
| Tue, 7 May 2024 06:52:01 +0000 (7 08:52 +0200) | ||
| tree | 69f3ae19f82eaf1af01a684dd19c5d8edc5c4830 | treesnapshot (tar.gz zip) |
| parent | 2c6eb2efaec6fe27f146dd80901182b71efef151 | commitdiff |
chg: improve the error message when the specified module is not found
| src/tools/why3extract.ml | diffblobblamehistory |