Skip to content
Snippets Groups Projects
Commit 2f90d657 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'robbert/simpl_never_pos_n' into 'master' 

Set `simpl never` for `Pos` and `N`.

See merge request !464
parents 47d252f5 82da9f06
Branches
Tags
1 merge request!464Set `simpl never` for `Pos` and `N`.
Pipeline #81612 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment