diff --git a/NEWS.md b/NEWS.md index e4ecdd8..0407388 100644 --- a/NEWS.md +++ b/NEWS.md @@ -8,7 +8,7 @@ ethos 0.1.1 prerelease - Makes the `set-option` command available in proofs and Eunoia files. - Adds `--include=X` and `--reference=X` to the command line interface for including (reference) files. - Fixed the disambiguation of overloaded symbols that are not applied to arguments. -- Fixed a bug when applying operators with opaque arguments. +- Fixed the interpretation of operators that combine opaque and ordinary arguments. ethos 0.1.0 ===========