Update

cvc5 · Oct 3, 2024 · d1b3d6b · d1b3d6b
1 parent 7152905
commit d1b3d6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -7,7 +7,7 @@ ethos 0.1.1 prerelease
 - Adds a new option `--normalize-num`, which also only applies when reference parsing. This option treats numerals as rationals, which can be used when parsing SMT-LIB inputs in logics where numerals are shorthand for rationals.
 - 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 a bug involving overloaded symbols that are not applied to arguments.
+- Fixed the disambiguation of overloaded symbols that are not applied to arguments.
 - Fixed a bug when applying operators with opaque arguments.
 
 ethos 0.1.0