diff options
| author | Pierre Boutillier | 2014-02-24 18:07:48 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-28 17:29:13 +0100 |
| commit | 93a35165079204b57d5e28a22781de18beb9f446 (patch) | |
| tree | 243d5b926c4d7c843671b30f5f7e404efbe3696e /kernel/nativecode.ml | |
| parent | 0adeb274a1ad0a1f12000b937314172b8779d92c (diff) | |
Pos.compare_cont takes the comparison as first argument
Helps cbn tactic refolding
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions