Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
forgotten qualifier
authorkrauss
Tue, 19 Jul 2011 00:16:18 +0200
changeset 43897 b28745c3ddce
parent 43896 8955dcac6c71
child 43902 8064210028b7
forgotten qualifier
Admin/mira.py file | annotate | diff | comparison | revisions 
--- 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)
isabelle