src/Sequents/prover.ML

--- a/src/Sequents/prover.ML	Thu Jan 19 15:45:10 2006 +0100
+++ b/src/Sequents/prover.ML	Thu Jan 19 21:22:08 2006 +0100
@@ -179,7 +179,7 @@
   fun print _ (ref pack) = print_pack pack;
 end);
 
-val prover_setup = [ProverData.init];
+val prover_setup = ProverData.init;
 
 val print_pack = ProverData.print;
 val pack_ref_of = ProverData.get;