Revision - af067ba - In `cloning ... with lemma...`, disable inference for `apply`

Revision af067ba87ab4105d577e5371748e10082c140146 authored by Pierre-Yves Strub on 26 August 2022, 06:02:12 UTC, committed by Pierre-Yves Strub on 30 August 2022, 07:26:44 UTC

In `cloning ... with lemma...`, disable inference for `apply`

Ref #247

1 parent 0aeaa74

Files
Changes

Permalinks

File	Mode	Size
tests.config	-rw-r--r--	326 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...