diff options
| author | Matthieu Sozeau | 2016-05-23 18:58:01 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-05-23 18:58:01 +0200 |
| commit | 891a8a9f7ea3bb5b0b07dc5a2df51314135d8b53 (patch) | |
| tree | 1c5fd2dddb629dd8b7a8f3fa55e40b0fbf605d25 /stm/asyncTaskQueue.ml | |
| parent | 265be83a546b0bec6d01f6650f7489442293cb0e (diff) | |
Extraction/Projections: Fix bug #4710
Use the compatibility match construction to extract the compatibility
constant associated to a primitive projection.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions