From 12db123606a27c01a6988054bdae7c2d12fa854c Mon Sep 17 00:00:00 2001 From: Dimo Date: Fri, 21 Jul 2017 16:56:15 -0700 Subject: [PATCH] TI failure due to misplaced import --- lib/cretonne/meta/semantics/elaborate.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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: