From d773e767048f37dfb71bbc49e596f2d1cb05ab7e Mon Sep 17 00:00:00 2001
From: Martin Blicha <martin.blicha@gmail.com>
Date: Thu, 27 Jul 2023 09:54:53 +0200
Subject: [PATCH] Remove outdated FIXME

---
 libsmtutil/CHCSmtLib2Interface.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libsmtutil/CHCSmtLib2Interface.cpp b/libsmtutil/CHCSmtLib2Interface.cpp
index 2dfc12b6c..ac1baba3c 100644
--- a/libsmtutil/CHCSmtLib2Interface.cpp
+++ b/libsmtutil/CHCSmtLib2Interface.cpp
@@ -325,8 +325,6 @@ namespace
 					return std::make_shared<ArraySort>(std::move(domainSort), std::move(codomainSort));
 				}
 			}
-			// FIXME: This is not correct, we need to track sorts properly!
-//			return SortProvider::boolSort;
 			smtAssert(false, "Unknown sort encountered");
 		}