1 files changed, 1 insertions, 1 deletions

diff --git a/mps/manual/source/extensions/mps/__init__.py b/mps/manual/source/extensions/mps/__init__.py
index 7c48b78127a..95ae2a396cb 100644
--- a/mps/manual/source/extensions/mps/__init__.py
+++ b/mps/manual/source/extensions/mps/__init__.py
@@ -12,7 +12,7 @@ from docutils import nodes, transforms
 from docutils.parsers.rst import Directive
 from docutils.parsers.rst.directives.admonitions import BaseAdmonition
 from sphinx import addnodes
-from sphinx.directives.other import VersionChange
+from sphinx.domains.changeset import VersionChange
 from sphinx.domains import Domain
 from sphinx.domains.changeset import versionlabels
 from sphinx.locale import admonitionlabels