fix several warnings
Showing
- gpfsl-examples/sflib.v 1 addition, 1 deletiongpfsl-examples/sflib.v
- gpfsl/algebra/lattice_cmra.v 1 addition, 1 deletiongpfsl/algebra/lattice_cmra.v
- gpfsl/gps/cbends.v 1 addition, 1 deletiongpfsl/gps/cbends.v
- gpfsl/orc11/base.v 1 addition, 1 deletiongpfsl/orc11/base.v
- gpfsl/orc11/progress.v 2 additions, 2 deletionsgpfsl/orc11/progress.v
Loading