diff options
| author | Gaëtan Gilbert | 2019-05-28 17:25:32 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-28 17:25:32 +0200 |
| commit | be21788fc5cbe86af52d4f0ea21daa73ed8fcf4f (patch) | |
| tree | 69d6ac83951efa7d5006a8631a22403e380c1105 /test-suite/output/ErrorInModule.v | |
| parent | d4ca25df0f481345c99744acda28728c9682f0ac (diff) | |
Fix [Drop. #use "include";;] for indirect_accessor
Diffstat (limited to 'test-suite/output/ErrorInModule.v')
0 files changed, 0 insertions, 0 deletions