diff options
| author | Marius Kintel <marius@kintel.net> | 2013-02-07 18:43:20 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-02-07 18:43:20 (GMT) |
| commit | 4e519078d60a92fce4c30b7d60b5b3e26181090f (patch) | |
| tree | 4c47cfeee7c60f942442e83811b9b05929fd3fe5 /src/csgtermnormalizer.h | |
| parent | b911a3615e7c28f3448ca73d7f48a263a568c00c (diff) | |
| parent | 03be37d16b585e64de87118053206aaae06e7cf8 (diff) | |
Merge branch 'master' into issue11_2
Diffstat (limited to 'src/csgtermnormalizer.h')
| -rw-r--r-- | src/csgtermnormalizer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/csgtermnormalizer.h b/src/csgtermnormalizer.h index c331f11..f7a444f 100644 --- a/src/csgtermnormalizer.h +++ b/src/csgtermnormalizer.h @@ -17,6 +17,7 @@ private: shared_ptr<CSGTerm> collapse_null_terms(const shared_ptr<CSGTerm> &term); unsigned int count(const shared_ptr<CSGTerm> &term) const; + bool aborted; size_t limit; size_t nodecount; shared_ptr<class CSGTerm> rootnode; |