diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2013-12-13 16:39:44 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:58:57 +0200 |
| commit | 29794b8acf407518716f8c02c2ed20729f8802e5 (patch) | |
| tree | a7952e066c733ed10af5a5f43fcbff3ab960971d /kernel/modops.ml | |
| parent | 55e62174683f293c8f966d8bd486fcb511f66221 (diff) | |
- Fix abstract forgetting about new constraints.
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions