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;