diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-22 19:10:39 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-22 19:24:11 +0000 |
| commit | 4d57a5a829124106a4ef81e5131a50d1e7caed7f (patch) | |
| tree | 5504d3d5d3f93d991582cdd3d1213ec783f6fd8f /utils | |
| parent | f76b6c5fe0ce8920ee6edb13802f857dae49e785 (diff) | |
| download | klee-4d57a5a829124106a4ef81e5131a50d1e7caed7f.tar.gz | |
Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.
The implementation of the constructor calls a method on a ``ConstantExpr`` which means the type must be complete (i.e. a forward declaration of ``ConstantExpr`` is insufficient) which creates an unnecessary ordering Dependency in ``Expr.h``.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions