Replaced update_new by update.
authorberghofe
Thu Oct 07 15:40:32 1999 +0200 (1999-10-07)
changeset 7786cf9d07ad62af
parent 7785 c06825c396e8
child 7787 b43b1c4f27ce
Replaced update_new by update.
src/Pure/Thy/thm_deps.ML
     1.1 --- a/src/Pure/Thy/thm_deps.ML	Thu Oct 07 14:44:55 1999 +0200
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Thu Oct 07 15:40:32 1999 +0200
     1.3 @@ -58,7 +58,7 @@
     1.4                     | None => [])
     1.5               | _ => ["global"])
     1.6          in
     1.7 -          (Symtab.update_new ((name,
     1.8 +          (Symtab.update ((name,
     1.9              {name = Sign.base_name name, ID = name,
    1.10               dir = space_implode "/" (session @ prefx),
    1.11               unfold = false, path = "", parents = parents'}), gra'), name ins parents)