Commit 704a4c66 by Simon Welsh

Use printf format for invariant message

Fixes #2
1 parent c7331600
Pipeline #170 passed
in 1 minute 25 seconds