Skip to content

Commit

Permalink
whitespace in seq_bad reference
Browse files Browse the repository at this point in the history
  • Loading branch information
rajgodse committed Aug 3, 2023
1 parent f1bbd74 commit 6b7fa0e
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
File "seq_bad.ml", line 14, characters 25-30:
14 | | Some x when f x; g x match Some y -> y
14 | | Some x when f x; g x match Some y -> y
^^^^^
Error: Syntax error

0 comments on commit 6b7fa0e

Please sign in to comment.