Skip to content
Snippets Groups Projects
Commit d69c92a7 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan Committed by Ralf Jung
Browse files

Simplify lit_eq. It does not require taking the state in parameter.

parent ecdbf131
No related branches found
No related tags found
Loading
Pipeline #