From f458423868c8613c57903a038797995d7806c842 Mon Sep 17 00:00:00 2001
From: Kevin Borgolte <cao@cao.vc>
Date: Tue, 5 May 2015 11:29:48 -0700
Subject: [PATCH] remove trailing whitespace

---
 scripts/mk_util.py | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index b0443c808..f8a9f4468 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1415,7 +1415,7 @@ class MLComponent(Component):
         fout.close()
         if VERBOSE:
             print("Updated '%s'" % ml_meta_out)
-                        
+
 
     def mk_makefile(self, out):
         if is_ml_enabled():
@@ -1459,16 +1459,16 @@ class MLComponent(Component):
                 archives = archives + ' ' + os.path.join(sub_dir,m) + '.cma'
                 mls = mls + ' ' + os.path.join(sub_dir, m) + '.ml'
 
-            out.write('%s: %s %s\n' % 
-                      (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)'), 
-                       os.path.join(sub_dir, 'z3native_stubs.c'), 
+            out.write('%s: %s %s\n' %
+                      (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)'),
+                       os.path.join(sub_dir, 'z3native_stubs.c'),
                        get_component(Z3_DLL_COMPONENT).dll_name+'$(SO_EXT)'));
-            out.write('\t$(CC) $(CXXFLAGS_OCAML) -I %s -I %s %s $(CXX_OUT_FLAG)%s$(OBJ_EXT)\n' % 
+            out.write('\t$(CC) $(CXXFLAGS_OCAML) -I %s -I %s %s $(CXX_OUT_FLAG)%s$(OBJ_EXT)\n' %
                       (OCAML_LIB, api_src, os.path.join(sub_dir, 'z3native_stubs.c'), os.path.join(sub_dir, 'z3native_stubs')))
 
             out.write('%s: %s %s %s$(SO_EXT)' % (
-                    os.path.join(sub_dir, "z3ml.cmxa"), 
-                    cmis, 
+                    os.path.join(sub_dir, "z3ml.cmxa"),
+                    cmis,
                     archives,
                     get_component(Z3_DLL_COMPONENT).dll_name))
             out.write(' %s\n' % (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)')))
@@ -1507,7 +1507,7 @@ class MLComponent(Component):
                     out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(LIB_EXT)')
                 out.write('\n\n')
 
-    
+
     def main_component(self):
         return is_ml_enabled()
 
@@ -1631,7 +1631,7 @@ class MLExampleComponent(ExampleComponent):
         if ML_ENABLED:
             out.write('ml_example.byte: api/ml/z3ml.cmxa ')
             for mlfile in get_ml_files(self.ex_dir):
-                out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))                
+                out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))
             out.write('\n')
             out.write('\t%s ' % OCAMLC)
             if DEBUG_MODE:
@@ -1642,7 +1642,7 @@ class MLExampleComponent(ExampleComponent):
             out.write('\n')
             out.write('ml_example$(EXE_EXT): api/ml/z3ml.cmxa ml_example.byte')
             for mlfile in get_ml_files(self.ex_dir):
-                out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))                
+                out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))
             out.write('\n')
             out.write('\t%s ' % OCAMLOPT)
             if DEBUG_MODE:
@@ -1803,7 +1803,7 @@ def mk_config():
         if is_verbose():
             print('64-bit:         %s' % is64())
             print('OpenMP:         %s' % HAS_OMP)
-            if is_java_enabled():                
+            if is_java_enabled():
                 print('JNI Bindings:   %s' % JNI_HOME)
                 print('Java Compiler:  %s' % JAVAC)
             if is_ml_enabled():
@@ -1927,10 +1927,10 @@ def mk_config():
             print('OpenMP:         %s' % HAS_OMP)
             print('Prefix:         %s' % PREFIX)
             print('64-bit:         %s' % is64())
-            print('FP math:        %s' % FPMATH) 
+            print('FP math:        %s' % FPMATH)
             if GPROF:
                 print('gprof:          enabled')
-            print('Python version: %s' % distutils.sysconfig.get_python_version())            
+            print('Python version: %s' % distutils.sysconfig.get_python_version())
             if is_java_enabled():
                 print('JNI Bindings:   %s' % JNI_HOME)
                 print('Java Compiler:  %s' % JAVAC)
@@ -2819,7 +2819,7 @@ def mk_z3consts_ml(api_files):
             m2 = comment_pat.match(line)
             if m1 or m2:
                 # skip blank lines and comments
-                linenum = linenum + 1 
+                linenum = linenum + 1
             elif mode == SEARCHING:
                 m = typedef_pat.match(line)
                 if m:
@@ -2897,7 +2897,7 @@ def mk_z3consts_ml(api_files):
             m2 = comment_pat.match(line)
             if m1 or m2:
                 # skip blank lines and comments
-                linenum = linenum + 1 
+                linenum = linenum + 1
             elif mode == SEARCHING:
                 m = typedef_pat.match(line)
                 if m: