Bug correction (might have solved a troubling segfault issue)

This commit is contained in:
Olivier Keshavjee 2016-02-04 17:20:44 +01:00
parent d67e48854c
commit da5c70154a

File diff suppressed because it is too large Load diff