diff options
| author | Michele Calgaro <michele.calgaro@yahoo.it> | 2021-07-25 14:24:31 +0900 |
|---|---|---|
| committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2021-07-25 14:26:50 +0900 |
| commit | 9e9f8a1cb9e0d01991d2e1a15f4af766853ece89 (patch) | |
| tree | d03d9f810090727f8bf317d35e05d48542624444 /kalzium/src/solver/datastruct.mli | |
| parent | f01229968a5111fbfb3ca093d416b707745abcfd (diff) | |
| download | tdeedu-9e9f8a1cb9e0d01991d2e1a15f4af766853ece89.tar.gz tdeedu-9e9f8a1cb9e0d01991d2e1a15f4af766853ece89.zip | |
Fixed FTBFS with clang caused by implicit default constructor definition.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
(cherry picked from commit 6baf320283645a5071de779d9aa4a202029cf2df)
Diffstat (limited to 'kalzium/src/solver/datastruct.mli')
0 files changed, 0 insertions, 0 deletions