1.1 --- a/Admin/mira.py	Tue Jul 19 00:07:21 2011 +0200
     1.2 +++ b/Admin/mira.py	Tue Jul 19 00:16:18 2011 +0200
     1.3 @@ -452,7 +452,7 @@
     1.4      os.chdir(os.path.join(hollight_home, 'Proofrecording', 'hol_light'))
     1.5  
     1.6      subprocess.check_call(['make'])
     1.7 -    (return_code, _) = run_process.run_process(
     1.8 +    (return_code, _) = util.run_process.run_process(
     1.9         '''echo -e '#use "hol.ml";;\n export_saved_proofs None;;' | ocaml''',
    1.10         environment={'HOLPROOFEXPORTDIR': './proofs_extended', 'HOLPROOFOBJECTS': 'EXTENDED'},
    1.11         shell=True)