Python 3 treats mixed tab and spaces indentation as a syntax error

cclauss · web-flow · commit 27fcdf1d43fb · 2019-04-03T21:52:19.000+02:00
diff --git a/数理逻辑/codes/mbinary/system_L.py b/数理逻辑/codes/mbinary/system_L.py
@@ -216,8 +216,8 @@ def l3(self,p,q):
         right = contain(p,q)
         return contain(left,right)
     def genFormula(self,s:str)->formula:
-        s=s.replace('~~','')  #  simplify the deduction,  to do
-	s=s.replace('<->','-')
+	    s=s.replace('~~','')  #  simplify the deduction,  to do
+	    s=s.replace('<->','-')
         s=s.replace('->','>')
         li = re.findall(r'[\(\)\>\~]|\w+',s)
         li = [sympy.Symbol(i) for i in li]
