diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 11:45:31 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 11:45:31 +1100 |
| commit | a7c69ec12aec23036bfdb6447e7c38b001a40f3d (patch) | |
| tree | 03d7fc971195d623ff35e9f01773ae95bbe9a688 /lemon/libtool | |
| parent | bb9a899b7c45b830c6b70e2811130a41ebb31ee5 (diff) | |
Fix up to build with clang (and fix another bug)
- Remove exceptions
- Remove dynamic casts
The bug was relating to MaxStrategy not cleaning up the influence sets
after propagating changes. I just added a call to .clear() and it seems
fine.
Diffstat (limited to 'lemon/libtool')
0 files changed, 0 insertions, 0 deletions