-
Janno authored
The calls to `vm_change_dep` were put in without properly benchmarking them. They do not correspond to the original ltac code, which uses just `change`.
8d660e91
The calls to `vm_change_dep` were put in without properly benchmarking them. They do not correspond to the original ltac code, which uses just `change`.