# HG changeset patch
# User wenzelm
# Date 1184015571 -7200
# Node ID ccf77119dd4d46a0f8cd6bc606fbecc553ebee37
# Parent  09ccdb1b93baefe9267167d6a50ffe5843c4d88a
tuned dead code;

diff -r 09ccdb1b93ba -r ccf77119dd4d src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:49 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:51 2007 +0200
@@ -447,7 +447,7 @@
 
 fun isarcmd s =
     s |> OuterSyntax.scan |> OuterSyntax.read
-      (*|> map (Toplevel.position (Position.name "PGIP message") o #3)*)
+      (*|> map (Toplevel.position Position.none o #3)*)
       |> map #3
       |> Toplevel.>>>;