diff --git a/src/util/std_code.h b/src/util/std_code.h
index f847bcec8c6..49b1ae8abf1 100644
--- a/src/util/std_code.h
+++ b/src/util/std_code.h
@@ -303,7 +303,7 @@ class code_assignt:public codet
 
     DATA_CHECK(
       vm,
-      base_type_eq(code.op0().type(), code.op1().type(), ns),
+      code.op0().type() == code.op1().type(),
       "lhs and rhs of assignment must have same type");
   }