Minor

cvc5 · Oct 3, 2024 · 8c1aafe · 8c1aafe
1 parent d1b3d6b
commit 8c1aafe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 ===========