diff --git a/lib/db/upgradelib.php b/lib/db/upgradelib.php
index 0b3c1358122c..0ceaff304203 100644
--- a/lib/db/upgradelib.php
+++ b/lib/db/upgradelib.php
@@ -1853,6 +1853,7 @@ function upgrade_change_binary_column_to_int(
 
     $columns = $DB->get_columns($tablename);
     $toconvert = $columns[$fieldname];
+    print_object($toconvert);
     if (str_contains(strtolower($toconvert->type), 'int')) {
         // Nothing to do if the field is already an integer-type.
         debugging("The '$fieldname' column is already an integer-type column.", DEBUG_DEVELOPER);