diff options
| author | Pierre-Marie Pédrot | 2020-01-16 20:45:58 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-16 20:49:16 +0100 |
| commit | 849c5d47475164190659915304e601b436e9b9d3 (patch) | |
| tree | afb2ec2633297a89738a1892e07c99bd5145d523 /plugins/syntax/string_notation.ml | |
| parent | 25e50a61ca7a8f6698a1579ee262a9e57395e479 (diff) | |
Move the per-architecture check of marshalled Uint63s to Values.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions