diff options
| author | Jon French | 2019-03-04 16:14:15 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-04 16:14:15 +0000 |
| commit | 48266097a2ffc005bb6005328e7ea1e52df904eb (patch) | |
| tree | d25f67e9eae17526507b96865c671337a6b4557c /src/c_backend.ml | |
| parent | af554830c63856f211e9d8245cc2dd7312957021 (diff) | |
Marshalling: remove prover before marshalling
Diffstat (limited to 'src/c_backend.ml')
0 files changed, 0 insertions, 0 deletions