tuned dead code;
authorwenzelm
Mon Jul 09 23:12:51 2007 +0200 (2007-07-09)
changeset 23681ccf77119dd4d
parent 23680 09ccdb1b93ba
child 23682 cf4773532006
tuned dead code;
src/Pure/ProofGeneral/proof_general_pgip.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:49 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:51 2007 +0200
     1.3 @@ -447,7 +447,7 @@
     1.4  
     1.5  fun isarcmd s =
     1.6      s |> OuterSyntax.scan |> OuterSyntax.read
     1.7 -      (*|> map (Toplevel.position (Position.name "PGIP message") o #3)*)
     1.8 +      (*|> map (Toplevel.position Position.none o #3)*)
     1.9        |> map #3
    1.10        |> Toplevel.>>>;
    1.11