src/Pure/Thy/thm_deps.ML
changeset 7786 cf9d07ad62af
parent 7785 c06825c396e8
child 7853 a4acf1b4d5a8
     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)