From f94100437036d6175a028ed5e3eed6dc8f2ca941 Mon Sep 17 00:00:00 2001
From: Asger Gitz-Johansen <asger.gitz@hotmail.com>
Date: Tue, 19 Jul 2022 21:04:36 +0200
Subject: [PATCH] Review

---
 src/operations/boolean.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/operations/boolean.cpp b/src/operations/boolean.cpp
index 8316a4f..068821a 100644
--- a/src/operations/boolean.cpp
+++ b/src/operations/boolean.cpp
@@ -98,7 +98,7 @@ auto t_lt(const T1&, const T2&) {
 template<typename T1, typename T2>
 auto t_implies(const T1&, const T2&) {
     std::ostringstream ss{};
-    ss << "Unable to imply (->) types " << typeid(T1).name() << " and " << typeid(T2).name();
+    ss << "Unable to imply (=>) types " << typeid(T1).name() << " and " << typeid(T2).name();
     throw std::domain_error(ss.str());
     return nullptr; // Must return something
 }