Spelling correction: covert => convert

2019-09-26 21:38:19 +02:00
1 changed files with 1 additions and 1 deletions
@@ -178,7 +178,7 @@ class Symbol(AtomicExpr, Boolean):

    @staticmethod
    def _sanitize(assumptions, obj=None):
-        """Remove None, covert values to bool, check commutativity *in place*.
+        """Remove None, convert values to bool, check commutativity *in place*.
        """

        # be strict about commutativity: cannot be None