diff options
author | Tim King <taking@google.com> | 2016-11-13 01:05:26 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-11-13 01:05:26 -0800 |
commit | 31c0d3b5f464983eab6e72d234934b29ef2027b6 (patch) | |
tree | b483b1b8f4cd4cf5612a276048c669cabea28749 /src/parser/smt2/smt2.h | |
parent | d8ce5358ad4d40eb2d86fe17fead9dc258d155b5 (diff) |
Switching a large allocation to be heap allocated.
Diffstat (limited to 'src/parser/smt2/smt2.h')
0 files changed, 0 insertions, 0 deletions