src/Pure/proof_general.ML
changeset 18708 4b3dadb4fe33
parent 18678 dd0c569fa43d
child 18993 f055b4fe381e
     1.1 --- a/src/Pure/proof_general.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/Pure/proof_general.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -148,7 +148,7 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val _ = Context.add_setup [Theory.add_tokentrfuns proof_general_trans];
     1.8 +val _ = Context.add_setup (Theory.add_tokentrfuns proof_general_trans);
     1.9  
    1.10  end;
    1.11