From 59f5fb97d442b2ad90adbc9ae38860432d205317 Mon Sep 17 00:00:00 2001 From: CulmoneY Date: Mon, 23 Sep 2024 12:53:38 -0400 Subject: [PATCH] Modified Change Log --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b5c11fbd2..02753ffc7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -25,7 +25,7 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). - Removed `node` attribute for `Z3Parser` - Renamed `reduce` method of `Z3Parser` to `parse` - Renamed `test_expr_wrapper` to `test_z3_parser` -- Refactored codebase to use modern type annotations. Replaced `List` with `list`, `Dict` with `dict`, `Set` with `set`, and `Tuple` with `tuple`. +- Refactored codebase to use modern type annotations. Replaced `List` with `list`, `Dict` with `dict`, `Set` with `set`, and `Tuple` with `tuple` ## [2.8.1] - 2024-08-19