# HG changeset patch
# User aspinall
# Date 1172922196 -3600
# Node ID 6e52564bcb536bfca4bc2d0f8ec90e8006221e8d
# Parent  a591df440b5b2bc039b4a72c1e9b346920b6f00a
Update test for new parse result

diff -r a591df440b5b -r 6e52564bcb53 src/Pure/ProofGeneral/pgip_tests.ML
--- a/src/Pure/ProofGeneral/pgip_tests.ML	Sat Mar 03 12:42:39 2007 +0100
+++ b/src/Pure/ProofGeneral/pgip_tests.ML	Sat Mar 03 12:43:16 2007 +0100
@@ -69,6 +69,7 @@
 
 open PgipInput;
 open PgipTypes;
+open PgipIsabelle;
 
 fun asseqi a b =
     if input (e a) = b then ()
@@ -109,6 +110,8 @@
 local
 open PgipMarkup
 open PgipParser
+open PgipIsabelle
+
 fun asseqp a b =
     if pgip_parser a = b then ()
     else error("PGIP test: expected two parses to be equal, for input:\n" ^ a)
@@ -119,10 +122,11 @@
     [Opentheory
          {text = "theory A imports Bthy Cthy Dthy begin",
           thyname = "A",
-          parentnames = ["Bthy", "Cthy", "Dthy"]}];
+          parentnames = ["Bthy", "Cthy", "Dthy"]},
+     Openblock {metavarid=NONE,name=NONE,objtype=SOME ObjTheoryBody}];
 
 val _ = 
     asseqp "end" 
-   [Closetheory {text = "end"}];
+   [Closeblock {}, Closetheory {text = "end"}];
 
 end