diff --git a/src/dev/check.rs b/src/dev/check.rs index 5074c133..29b2b670 100644 --- a/src/dev/check.rs +++ b/src/dev/check.rs @@ -92,6 +92,10 @@ fn check_info_file_exercises(info_file: &InfoFile) -> Result