src/Provers/simplifier.ML
changeset 6556 daa00919502b
parent 6534 5a838c1d9d2f
child 6911 ef0f25d0bc2d
     1.1 --- a/src/Provers/simplifier.ML	Fri Apr 30 18:09:33 1999 +0200
     1.2 +++ b/src/Provers/simplifier.ML	Fri Apr 30 18:10:03 1999 +0200
     1.3 @@ -266,7 +266,8 @@
     1.4    type T = simpset ref;
     1.5  
     1.6    val empty = ref empty_ss;
     1.7 -  fun prep_ext (ref ss) = (ref ss): T;            (*create new reference!*)
     1.8 +  fun copy (ref ss) = (ref ss): T;            (*create new reference!*)
     1.9 +  val prep_ext = copy;
    1.10    fun merge (ref ss1, ref ss2) = ref (merge_ss (ss1, ss2));
    1.11    fun print _ (ref ss) = print_ss ss;
    1.12  end;