diff options
| author | Matthieu Sozeau | 2014-04-01 12:15:12 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:58 +0200 |
| commit | 4d7956a9b3f7f44aa9dae1bf22258b12dacab65f (patch) | |
| tree | d6d0d1d36cba4f118ca4ba829e1738545ccbf577 /kernel/constr.ml | |
| parent | 9e377eade7016bd34d35a5b99eec02f080f387cc (diff) | |
Remove postponed constraints (unused)
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions