diff options
| author | Enrico Tassi | 2021-02-09 18:26:49 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-03-04 16:55:14 +0100 |
| commit | b6fb8c0f87652463c3269f97c8d0ad4f33e89617 (patch) | |
| tree | cb38e457c79466ae008b1d7d3042246b0e0f6be9 /kernel/nativecode.ml | |
| parent | feb09c2f3ed286829f86ad31425543e6e9a9cec9 (diff) | |
[test-suite] test for primitive tokens in patterns
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions