src/Pure/ProofGeneral/pgip_tests.ML

--- a/src/Pure/ProofGeneral/pgip_tests.ML	Thu Aug 09 11:37:27 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_tests.ML	Thu Aug 09 11:39:29 2007 +0200
@@ -123,7 +123,7 @@
     asseqp "theory A imports Bthy Cthy Dthy begin"
     [Opentheory
          {text = "theory A imports Bthy Cthy Dthy begin",
-          thyname = "A",
+          thyname = SOME "A",
           parentnames = ["Bthy", "Cthy", "Dthy"]},
      Openblock {metavarid=NONE,name=NONE,objtype=SOME ObjTheoryBody}];