Skip to content

Commit

Permalink
process: changelog: correct version
Browse files Browse the repository at this point in the history
  • Loading branch information
qaristote committed Dec 16, 2022
1 parent c23aa36 commit d220f92
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion smtlib-backends-process/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# v0.1
# v0.2
split `smtlib-backends`'s `Process` module into its own library
## `Config` datatype
- move the logger function into it
Expand Down

0 comments on commit d220f92

Please sign in to comment.