diff checker.pri @ 50:5f91094e5680

Ensure runtime_error is declared
author Chris Cannam
date Thu, 11 Oct 2018 15:55:17 +0100
parents 40c6936c2fc9
children bb3d59462052
line wrap: on
line diff