Closed nmmull closed 2 years ago
A very simple fix that cleans up configuration.ml, mostly to help me sleep at night. Now there isn't any error message manipulation in the parsing code.
configuration.ml
A very simple fix that cleans up
configuration.ml
, mostly to help me sleep at night. Now there isn't any error message manipulation in the parsing code.