From 3df7299d1eebd883a0148adf73fd7bfd9c080f43 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Sep 2024 14:47:51 +0100 Subject: [PATCH] update signature of operator== Signed-off-by: Nikolaj Bjorner --- src/muz/rel/dl_base.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h index d1d946d10..d6394ddb1 100644 --- a/src/muz/rel/dl_base.h +++ b/src/muz/rel/dl_base.h @@ -93,7 +93,7 @@ namespace datalog { */ class signature_base : public signature_base_base { public: - bool operator==(const signature & o) const { + bool operator==(const signature_base & o) const { unsigned n=signature_base_base::size(); if (n!=o.size()) { return false;