diff --git a/src/solver/solver.h b/src/solver/solver.h
index cde7f4d58..b45f4f347 100644
--- a/src/solver/solver.h
+++ b/src/solver/solver.h
@@ -32,6 +32,10 @@ class solver_factory {
 public:
     virtual ~solver_factory() = default;
     virtual solver * operator()(ast_manager & m, params_ref const & p, bool proofs_enabled, bool models_enabled, bool unsat_core_enabled, symbol const & logic) = 0;
+    /**
+       \brief Create a clone of the solver factory for the given ast_manager.
+       The clone should be functionally equivalent but associated with the target manager.
+    */
     virtual solver_factory* translate(ast_manager& m) = 0;
 };