diff options
| author | Vincent Laporte | 2018-03-06 20:23:52 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-03-07 17:31:47 +0000 |
| commit | 5cbb460234e32f5e325c60aaada91d3cea298b9f (patch) | |
| tree | acbdf6d7f5282db34d1866371cf156c7f51759e2 /plugins/syntax/string_syntax.ml | |
| parent | 33bf4f2c5c60114eb6db4a8e082ff8882923f6c8 (diff) | |
Use a proper warning when a summary is captured out of module scope.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions