# HG changeset patch
# User kleing
# Date 1053798773 -7200
# Node ID b776fd812bdd1a73bc574e55ce2733aa07577180
# Parent  61093a0ac760ebcabb838bc4caf58cdbbf6e4dd9
fixed

diff -r 61093a0ac760 -r b776fd812bdd src/HOL/IsaMakefile
--- 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