diff options
| author | Robert Norton | 2017-04-19 14:34:11 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:06:05 +0100 |
| commit | db18d9b1865505306f6f776abe8a6b90868d243b (patch) | |
| tree | 92284350427d4ed39cc2d0c4d04962086f94733e /src/parser.mly | |
| parent | d1cac4d89465cfcba18c173af3f3c57a1f08f5d0 (diff) | |
return zero for uninitialised memory in ocaml shallow embedding model. Necessary to pass test_cp2_tagmem test. TODO make this configurable.
Diffstat (limited to 'src/parser.mly')
0 files changed, 0 insertions, 0 deletions