src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 36148 4ddcc2b07891
parent 33389 bb3a5fa94a91
child 36689 379f5b1e7f91
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 15 12:27:14 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 15 15:38:58 2010 +0200
@@ -955,7 +955,7 @@
            end)
         | _ => raise PGIP "Invalid PGIP packet received")
      handle PGIP msg =>
-            (Output.error_msg ((msg ^ "\nPGIP error occured in XML text below:\n") ^
+            (Output.error_msg ((msg ^ "\nPGIP error occurred in XML text below:\n") ^
                                (XML.string_of xml));
              true))