diff options
| author | Gaëtan Gilbert | 2020-08-24 13:11:20 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-25 16:15:17 +0200 |
| commit | 2eac36b65732e0302f04693a4524c454fcbb5760 (patch) | |
| tree | 42fb4dbed70d041ec9fa0913a5a8f4ac0a366385 /test-suite/output/StringSyntaxPrimitive.v | |
| parent | 5e4d696c0a5c864092f7263b9bb7f7eb419d121e (diff) | |
funind: stop using intro_using
Diffstat (limited to 'test-suite/output/StringSyntaxPrimitive.v')
0 files changed, 0 insertions, 0 deletions