src/Pure/PIDE/document.ML

                 val imports = map (apsnd Future.join) deps;
                 val updated_imports = exists (is_some o #3 o #1 o #2) imports;
                 val required = is_required name;
               in
                 if updated_imports orelse AList.defined (op =) edits name orelse
-                  required andalso not (stable_finished_theory node)
+                  not (stable_finished_theory node)
                 then
                   let
                     val node0 = node_of old_version name;
                     fun init () = init_theory imports node;
                     val proper_init =