# HG changeset patch # User krauss # Date 1311027378 -7200 # Node ID b28745c3ddcec0b080313033d046c178c1a73b09 # Parent 8955dcac6c71e57fd182623b55ea239758269e39 forgotten qualifier diff -r 8955dcac6c71 -r b28745c3ddce Admin/mira.py --- a/Admin/mira.py Tue Jul 19 00:07:21 2011 +0200 +++ b/Admin/mira.py Tue Jul 19 00:16:18 2011 +0200 @@ -452,7 +452,7 @@ os.chdir(os.path.join(hollight_home, 'Proofrecording', 'hol_light')) subprocess.check_call(['make']) - (return_code, _) = run_process.run_process( + (return_code, _) = util.run_process.run_process( '''echo -e '#use "hol.ml";;\n export_saved_proofs None;;' | ocaml''', environment={'HOLPROOFEXPORTDIR': './proofs_extended', 'HOLPROOFOBJECTS': 'EXTENDED'}, shell=True)