diff options
author | Martin <martin.brain@cs.ox.ac.uk> | 2017-10-05 10:08:53 +0100 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-05 02:08:53 -0700 |
commit | 3c5c0c2287203b61acc94bb83fac1b91ae290007 (patch) | |
tree | b95533ffbe6b6b25855de9ec6f99c1f7af06e9c7 /src/theory/substitutions.h | |
parent | a63efde07c65a3a0499f85c13757643ff52f154c (diff) |
Allow CDHashMaps for objects without default constructors (#1092)
This is a patch, originally from mdeters/cdhashmap-default-constructibility that allows CDHashMaps to be declared for objects that don't have default constructors.
Diffstat (limited to 'src/theory/substitutions.h')
0 files changed, 0 insertions, 0 deletions