diff options
| author | coqbot-app[bot] | 2020-12-01 10:55:15 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-01 10:55:15 +0000 |
| commit | 3eb730c531a27951c6894356fb8deb73a425a142 (patch) | |
| tree | 3ba98e0c5cd3c60a3b1ffdf962df6dec9448c153 /kernel/nativelib.ml | |
| parent | 0af89e4c04b1ecf437a86b50a34a17eddee56b76 (diff) | |
| parent | baaa28f921e8ed2045acb14da94f2c8e1701fa1f (diff) | |
Merge PR #13531: [kernel]Use ~l2r:true to restore previous order of unfolding
Reviewed-by: SkySkimmer
Ack-by: ppedrot
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions