diff options
| author | Pierre-Marie Pédrot | 2021-01-06 16:20:04 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-18 13:36:46 +0100 |
| commit | 875e410294503b03f0954c94164bd611a5682850 (patch) | |
| tree | b39f48ef592876c10d631850074362245153c8d4 /plugins/syntax/float_syntax.ml | |
| parent | 5dcf8f4d0fb7419c07b9287db22f6ed6cbf000a4 (diff) | |
Move the two only calls to the strong combinator to their calling site.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions