removed patch number from rust channel

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

https://viperproject.github.io/axiom-profiler-2/

8 stars 3 forks source link

removed patch number from rust channel #41

Closed cschmitter closed 1 month ago

cschmitter commented 1 month ago

A very small fix. I just removed the patch number from the rust channel in the toolchain file so that cargo, trunk, etc. would behave, as discussed previously.