2243

2 files changed, 3 insertions, 1 deletions

diff --git a/030container.cc b/030container.cc
index 817a8c47..4adf05a0 100644
--- a/030container.cc
+++ b/030container.cc
@@ -280,7 +280,7 @@ case GET_ADDRESS: {
     offset_value = offset.value;
   }
   reagent product = inst.products.at(0);
-  canonize_type(product);
+  // Update GET_ADDRESS product in Check
   reagent element;
   element.types = Type[base_type].elements.at(offset_value);
   element.types.insert(element.types.begin(), Type_ordinal["address"]);
diff --git a/031address.cc b/031address.cc
index 50c9c446..66172fbe 100644
--- a/031address.cc
+++ b/031address.cc
@@ -158,6 +158,8 @@ recipe main [
 
 :(after "Update GET_ADDRESS base in Check")
 if (!canonize_type(base)) break;
+:(after "Update GET_ADDRESS product in Check")
+if (!canonize_type(base)) break;
 :(after "Update GET_ADDRESS base in Run")
 base = canonize(base);