1 files changed, 4 insertions, 0 deletions
diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index be9075279b..347459a65f 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -348,6 +348,10 @@ object(self)
           remove_flag sentence `PROCESSING;
           remove_flag sentence `ERROR;
           self#mark_as_needed sentence
+      | ProcessingInMaster,  Some (id,sentence) ->
+          log "ProcessingInMaster" id;
+          add_flag sentence `PROCESSING;
+          self#mark_as_needed sentence
       | Incomplete, Some (id, sentence) ->
           log "Incomplete" id;
           add_flag sentence `INCOMPLETE;