src/Sequents/prover.ML
changeset 18708 4b3dadb4fe33
parent 16458 4c6fd0c01d28
child 20951 868120282837
     1.1 --- a/src/Sequents/prover.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/Sequents/prover.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -179,7 +179,7 @@
     1.4    fun print _ (ref pack) = print_pack pack;
     1.5  end);
     1.6  
     1.7 -val prover_setup = [ProverData.init];
     1.8 +val prover_setup = ProverData.init;
     1.9  
    1.10  val print_pack = ProverData.print;
    1.11  val pack_ref_of = ProverData.get;