Skip to content

Commit

Permalink
fix(grader): Display negative numbers with mandatory parens; Fix ocam…
Browse files Browse the repository at this point in the history
…l-sf#440

* Thanks @letouzey for reporting this issue and suggesting a fix
  • Loading branch information
erikmd committed Oct 13, 2021
1 parent 07033c9 commit d427dbf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/grader/introspection.ml
Expand Up @@ -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
| _ -> ()
Expand Down

0 comments on commit d427dbf

Please sign in to comment.