removing forgotten grrr debug code ;-)

diff --git a/lib/ddl/database_manager.php b/lib/ddl/database_manager.php
index 2192bcddda875c745a5f158872ec5d6fd1f8caa8..763524b78c2484ba8b8dddb86d94558c77b01864 100644 (file)
--- a/lib/ddl/database_manager.php
+++ b/lib/ddl/database_manager.php
@@ -264,10 +264,6 @@ class database_manager {
      */
     public function find_key_name(xmldb_table $xmldb_table, xmldb_key $xmldb_key) {
 
-if (!is_object($xmldb_key)) {
-    var_dump($xmldb_table);
-    debugging('grrr');
-}
         $keycolumns = $xmldb_key->getFields();
 
     /// Get list of keys in table