src/Pure/ML/exn_properties.ML

           val loc' =
             {file = YXML.string_of_body (XML.Encode.properties props'),
               startLine = #startLine loc, endLine = #endLine loc,
               startPosition = #startPosition loc, endPosition = #endPosition loc};
         in
-          uninterruptible (fn _ => fn () =>
+          Multithreading.uninterruptible (fn _ => fn () =>
             PolyML.raiseWithLocation (exn, loc') handle exn' => exn') ()
         end
     end;
 
 end;