diff --git a/src/workprover/fastsolver.py b/src/workprover/fastsolver.py
index 36477678..2c48ffa9 100644
--- a/src/workprover/fastsolver.py
+++ b/src/workprover/fastsolver.py
@@ -5,7 +5,7 @@ import subprocess
 import ctypes
 
 class FastSolverError(Exception):
-	pass
+    pass
 
 def loadFastSolver(codePath):
     if hasattr(sys, "winver"):