diff options
| author | Robert Norton | 2018-11-21 12:31:07 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-11-21 12:31:07 +0000 |
| commit | 05c68ff053485e9d5089969303e73045fb6cab6c (patch) | |
| tree | efff1a12e3aec8f5660ce42b8377d853914db9ec /src/bytecode_util.ml | |
| parent | f4affce812cdc1762ac2617682f813f1f34ab6b4 (diff) | |
Escape string literals in coq backend. Note that 71020c2f460e6031776df17cf8f2f71df5bb9730 introduced assert error messages containing " revealing unescaped string literals in generated lem and prompting review of other backends.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions