minor

yoni206 · Oct 22, 2024 · 745dcf0 · 745dcf0
1 parent 2562d3f
commit 745dcf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/expr/skolem_manager.h b/src/expr/skolem_manager.h
@@ -153,7 +153,7 @@ class SkolemManager
    * skolem functions of the forms described in SkolemId. The user of this
    * method is responsible for providing a proper type for the identifier that
    * matches the description of id.
-   * This is done from the function
+   * This can be done from the function
    * `SkolemManager::getTypeFor`.
    * Skolem functions are useful for modelling
    * the behavior of partial functions, or for theory-specific inferences that