theories/heap_lang/lifting.v · 952daeb93ba3b93c15c5b391f1d3ace88bebdeea · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

5 years ago
9dc1d480
heap_lang/lifting.v: Don't run auto on hopeless goals · 9dc1d480
Paolo G. Giarrusso authored 5 years ago and Robbert Krebbers committed 5 years ago
```
Those goals happen to be solvable by [done] as well, so use that.

I also dropped some inconsistent line breaks.
```
9dc1d480

History
heap_lang/lifting.v: Don't run auto on hopeless goals
Paolo G. Giarrusso authored 5 years ago and Robbert Krebbers committed 5 years ago
```
Those goals happen to be solvable by [done] as well, so use that.

I also dropped some inconsistent line breaks.
```