diff --git a/lib/cretonne/meta/semantics/elaborate.py b/lib/cretonne/meta/semantics/elaborate.py
index 9cd92c1f06..0350c5c7dd 100644
--- a/lib/cretonne/meta/semantics/elaborate.py
+++ b/lib/cretonne/meta/semantics/elaborate.py
@@ -6,10 +6,11 @@ primitive cretonne instructions, which map well to SMTLIB functions.
 from .primitives import GROUP as PRIMITIVES, prim_to_bv, prim_from_bv
 from cdsl.ti import ti_rtl, TypeEnv, get_type_env
 from cdsl.typevar import TypeVar
+from cdsl.xform import Rtl
 
 try:
     from typing import TYPE_CHECKING, Dict, Union, List, Set, Tuple # noqa
-    from cdsl.xform import Rtl, XForm # noqa
+    from cdsl.xform import XForm # noqa
     from cdsl.ast import Var, Def, VarMap # noqa
     from cdsl.ti import VarTyping # noqa
 except ImportError: