diff --git a/src/grader/introspection.ml b/src/grader/introspection.ml index 9d6011065..2bd4c0eaf 100644 --- a/src/grader/introspection.ml +++ b/src/grader/introspection.ml @@ -183,7 +183,7 @@ let print_value ppf v ty = state := `Undecided ; for i = ofs to ofs + len - 1 do match String.get s i with - | ' ' | '\n' | '\r' | '\t' -> + | '-' | ' ' | '\n' | '\r' | '\t' -> state := `Decided true ; raise Exit | _ -> ()