| commit | 32304b583f499ad2c588065d794ad9d59482374b | |
| author | Gerald Point <gerald.point@labri.fr> | |
| Fri, 24 Nov 2023 09:19:19 +0000 (24 10:19 +0100) | ||
| committer | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr> | |
| Tue, 7 May 2024 09:00:21 +0000 (7 11:00 +0200) | ||
| tree | 129b2b19274bb3fa3b4267b0a14b986925796a4b | treesnapshot (tar.gz zip) |
| parent | c51c244ded49abe332635a126f381aedb1c67715 | commitdiff |
fix: handle UnknownModule exception where Not_found where was caught.
| src/tools/why3extract.ml | diffblobblamehistory |