From 14d9215ac44ff04d9146dd93d2dec4c890a413d1 Mon Sep 17 00:00:00 2001 From: cfreksen Date: Sun, 29 Oct 2017 22:31:52 +0100 Subject: [PATCH] Fix missing module qualifier bug. --- stepper.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stepper.py b/stepper.py index 6b0ddc8..8c70b6c 100644 --- a/stepper.py +++ b/stepper.py @@ -360,7 +360,7 @@ def ty2base_ty(ty, tdecs, seen=[]): return ty2base_ty(tdecs[other_name].body, tdecs, [other_name] + seen) else: err('Could not find type {} in gloval type environment:\n{}' - .format(ty2s(ty), tdecs.keys())) + .format(ll.ty2s(ty), tdecs.keys())) return ll.SimpleType.Void else: # TODO