| commit | 383639d0d33ea5f14c73fe0b5049a34e65a5c7be | |
| author | Matteo Manighetti <matteo.manighetti@inria.fr> | |
| Thu, 16 May 2024 14:05:59 +0000 (16 16:05 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 16 May 2024 14:05:59 +0000 (16 16:05 +0200) | ||
| tree | 526bcf1d662551d9cd5cc70ecb96e032a371a1d4 | treesnapshot (tar.gz zip) |
| parent | 27a128ffb95fdf096da493a66c3f105eae0ef73a | commitdiff |
Remove simplify_intros from prepare_for_counterexmp
Printers don't need get_location_of_vc. The LOC can be retrieved directly, without resorting
to the old meta vc_location
Printers don't need get_location_of_vc. The LOC can be retrieved directly, without resorting
to the old meta vc_location