Viewing all changes in revision 18514.
- Committer: Hugo Herbelin
- Date: 2016-12-22 12:48:01 UTC
- Revision ID: git-v1:ac630f12c9d80c9387d44f3f1a1b22db5b5b89da
Fixing anomaly EqUnknown in Equality Scheme (#5278).
- files modified:
- toplevel/auto_ind_decl.ml
expand all
collapse all
added
removed
