diff --git a/libraries/db_routines.inc.php b/libraries/db_routines.inc.php
index bbb68a1db0..0fbd7663b1 100644
--- a/libraries/db_routines.inc.php
+++ b/libraries/db_routines.inc.php
@@ -1171,7 +1171,7 @@ function routineMakeRowForList($routine, $ct = 0) {
                           . '&routine_name=' . urlencode($routine['SPECIFIC_NAME'])
                           . '">' . $titles['Edit'] . '</a>';
     }
-    if (PMA_currentUserHasPrivilege('EXECUTE', $db)) {
+    if ($routine['ROUTINE_DEFINITION'] !== NULL && PMA_currentUserHasPrivilege('EXECUTE', $db)) {
         // Check if he routine has any input parameters. If it does,
         // we will show a dialog to get values for these parameters,
         // otherwise we can execute it directly.