src/Pure/simplifier.ML
changeset 24509 23ee6b7788c2
parent 24124 4399175e3014
child 26425 6561665c5cb1
     1.1 --- a/src/Pure/simplifier.ML	Sat Sep 01 15:46:59 2007 +0200
     1.2 +++ b/src/Pure/simplifier.ML	Sat Sep 01 15:47:01 2007 +0200
     1.3 @@ -234,8 +234,8 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val def_simproc = gen_simproc ProofContext.read_terms;
     1.8 -val def_simproc_i = gen_simproc ProofContext.cert_terms;
     1.9 +val def_simproc = gen_simproc Syntax.read_terms;
    1.10 +val def_simproc_i = gen_simproc Syntax.check_terms;
    1.11  
    1.12  end;
    1.13