src/Pure/PIDE/document.ML
changeset 47631 97d28302445c
parent 47630 8d654975b67d
child 47633 e5c5e73f3e30
     1.1 --- a/src/Pure/PIDE/document.ML	Fri Apr 20 22:51:06 2012 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Fri Apr 20 22:48:48 2012 +0200
     1.3 @@ -472,7 +472,7 @@
     1.4                  val required = is_required name;
     1.5                in
     1.6                  if updated_imports orelse AList.defined (op =) edits name orelse
     1.7 -                  required andalso not (stable_finished_theory node)
     1.8 +                  not (stable_finished_theory node)
     1.9                  then
    1.10                    let
    1.11                      val node0 = node_of old_version name;