diff options
author | Alban Gruin | 2021-10-04 12:37:53 +0200 |
---|---|---|
committer | Alban Gruin | 2021-10-04 12:37:53 +0200 |
commit | cee4a3ef6aba480b54ae32b427ce4579832e5d69 (patch) | |
tree | 9fc88ad4d5b7a50b04a7af38c2c9d54de0d4615d /src/pages.ml | |
parent | 8cb5040483bd9849d4e6972e608aff7b2ae03dd3 (diff) |
course: fix parsing issues
The constructors Location and Summary were inverted, causing confusion
in the loc_and_sum_to_location and loc_and_sum_to_summary functions.
For instance, if no location was found, the summary would be empty (even
though it was found), and the location would be the name of the event.
This fixes these names and functions to work properly.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/pages.ml')
0 files changed, 0 insertions, 0 deletions