--- a/src/HOL/IsaMakefile Fri May 23 17:19:53 2003 +0200 +++ b/src/HOL/IsaMakefile Sat May 24 19:52:53 2003 +0200 @@ -5,7 +5,7 @@ # # for overriding proof objects in HOL image -HOL_PROOF_OBJECTS="-p 2" +HOL_PROOF_OBJECTS=-p 2 ## targets