Whitespace normalization, via reindent.py.
diff --git a/Tools/modulator/varsubst.py b/Tools/modulator/varsubst.py
index 5516be2..3b33950 100644
--- a/Tools/modulator/varsubst.py
+++ b/Tools/modulator/varsubst.py
@@ -13,7 +13,7 @@
 
     def useindent(self, onoff):
         self.do_useindent = onoff
-        
+
     def subst(self, s):
         rv = ''
         while 1: