[Typer] [Git][monnier/typer][master] * src/opslexp.ml (check): Fix typo in last commit.