diff options
Diffstat (limited to 'src/course.ml')
| -rw-r--r-- | src/course.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/course.ml b/src/course.ml index 5ce2564..566ee0d 100644 --- a/src/course.ml +++ b/src/course.ml @@ -57,8 +57,8 @@ let loc_and_sum_to_groups = function | Groups groups | Summary (groups, _) | Location (groups, _, _) -> groups let loc_and_sum_to_location = function - | Nothing | Groups _ | Summary _ -> "" - | Location (_, _, location) -> location + | Nothing | Groups _ | Summary _ -> None + | Location (_, _, location) -> Some location let loc_and_sum_to_summary category = function | Nothing | Groups _ -> category |