From 8e949e3c6bd902f0468275ba42d5db4478204af5 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 24 Feb 2020 12:59:44 +0100
Subject: [PATCH] CHANGELOG entry.

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 571ee447..277da488 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,6 +13,8 @@ API-breaking change is listed.
   https://gitlab.mpi-sws.org/iris/stdpp/merge_requests/93
 - Add type class `TopSet` for sets with a `⊤` element. Provide instances for
   `boolset`, `propset`, and `coPset`.
+- Add `set_solver` support for `dom`.
+
 
 ## std++ 1.2.1 (released 2019-08-29)
 
-- 
GitLab