Skip to content
Commit b41d99a9 authored by Stefan's avatar Stefan
Browse files

* src/opslexp.ml (check'): Fix handling of erasable datatype args.

parent 2759acf9
Show 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