src/Pure/ProofGeneral/pgip_parser.ML

--- a/src/Pure/ProofGeneral/pgip_parser.ML	Mon Feb 25 12:52:27 2013 +0100
+++ b/src/Pure/ProofGeneral/pgip_parser.ML	Mon Feb 25 13:29:19 2013 +0100
@@ -65,7 +65,6 @@
   |> command Keyword.thy_decl         thy_decl
   |> command Keyword.thy_script       thy_decl
   |> command Keyword.thy_goal         goal
-  |> command Keyword.thy_schematic_goal goal
   |> command Keyword.qed              closegoal
   |> command Keyword.qed_block        closegoal
   |> command Keyword.qed_global       (fn text => [D.Giveupgoal {text = text}])