aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/StringSyntaxPrimitive.v
diff options
context:
space:
mode:
authorJim Fehrle2020-10-12 10:37:09 -0700
committerJim Fehrle2020-10-12 10:37:09 -0700
commitbdc5db891aa2a060387da758d8910a82cea21da1 (patch)
tree8122c3a46ee68b7b5f0f3c263d8516a40e08347c /test-suite/output/StringSyntaxPrimitive.v
parent03d55f990bb7a2c4f5c1fefa408b94a8a93e8d05 (diff)
Add missing ";" in record grammar
Diffstat (limited to 'test-suite/output/StringSyntaxPrimitive.v')
0 files changed, 0 insertions, 0 deletions