remove comment about Z3 ad-hoc polymorphism

vprover · Nov 30, 2021 · 1128390 · 1128390
1 parent d416bf1
commit 1128390
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/SAT/Z3Interfacing.cpp b/SAT/Z3Interfacing.cpp
@@ -1109,7 +1109,6 @@ z3::func_decl Z3Interfacing::z3Function(FuncOrPredId functor)
       domain_sorts.push_back(self.getz3sort(arg));
     }
 
-    // Z3 seems OK with having overloaded functions
     z3::symbol name = self._context.str_symbol(namebuf.c_str());
     auto range_sort = functor.isPredicate
       ? self._context.bool_sort()